Mutsumi Nakamura
According to our database1,
Mutsumi Nakamura
authored at least 15 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning.
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024
2023
LogicAttack: Adversarial Attacks for Evaluating Logical Consistency of Natural Language Inference.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
2008
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell., 2008
2005
Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group.
Proceedings of the Fourteenth Text REtrieval Conference, 2005
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005
2002
Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.
Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002
2000
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Proceedings of the Computational Logic, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1997
IEEE Trans. Fuzzy Syst., 1997