Mutsumi Nakamura

According to our database1, Mutsumi Nakamura authored at least 15 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
VL-GLUE: A Suite of Fundamental yet Challenging Visuo-Linguistic Reasoning Tasks.
CoRR, 2024

Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
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

Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
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
Instruction Tuned Models are Quick Learners.
CoRR, 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

Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1997
On hardware support for interval computations and for soft computing: theorems.
IEEE Trans. Fuzzy Syst., 1997


  Loading...