Mutsumi Nakamura

20 papers A* 4Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
How Can Input Reformulation Improve Tool Usage Accuracy in a Complex Dynamic Environment? A Study on tau-bench.
EMNLP (Findings)
Venkatesh Mishra, Amir Saeidi, Satyam Raj, Mutsumi Nakamura, Gaowen Liu, Ali Payani, Jayanth Srinivasa, Chitta Baral
2025 J jnl
How Can Input Reformulation Improve Tool Usage Accuracy in a Complex Dynamic Environment? A Study on τ-bench.
CoRR
Venkatesh Mishra, Amir Saeidi, Satyam Raj, Mutsumi Nakamura, Jayanth Srinivasa, Gaowen Liu, Ali Payani, Chitta Baral
2025 J jnl
PHANTOM RECALL: When Familiar Puzzles Fool Smart Models.
CoRR
Souradeep Mukhopadhyay, Rishabh Baral, Nimeesh Mahajan, Samhitha Harish, Aswin RRV, Mihir Parmar, Mutsumi Nakamura, Chitta Baral
2024 A* conf
"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning.
SP
Kuntal Kumar Pal, Ati Priya Bajaj, Pratyay Banerjee, Audrey Dutcher, Mutsumi Nakamura, Zion Leonahenahe Basque, Himanshu Gupta, Saurabh Arjun Sawant, Ujjwala Anantheswaran, Yan Shoshitaishvili, Adam Doupé, Chitta Baral, Ruoyu Wang
2024 — conf
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
ACL (1)
Mihir Parmar, Nisarg Patel, Neeraj Varshney, Mutsumi Nakamura, Man Luo, Santosh Mashetty, Arindam Mitra, Chitta Baral
2024 A* conf
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
EMNLP
Nisarg Patel, Mohith Kulkarni, Mihir Parmar, Aashna Budhiraja, Mutsumi Nakamura, Neeraj Varshney, Chitta Baral
2024 J jnl
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
CoRR
Nisarg Patel, Mohith Kulkarni, Mihir Parmar, Aashna Budhiraja, Mutsumi Nakamura, Neeraj Varshney, Chitta Baral
2024 A* conf
Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
EMNLP
Nemika Tyagi, Mihir Parmar, Mohith Kulkarni, Aswin RRV, Nisarg Patel, Mutsumi Nakamura, Arindam Mitra, Chitta Baral
2024 J jnl
Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
CoRR
Nemika Tyagi, Mihir Parmar, Mohith Kulkarni, Aswin RRV, Nisarg Patel, Mutsumi Nakamura, Arindam Mitra, Chitta Baral
2024 J jnl
Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
CoRR
Mihir Parmar, Nisarg Patel, Neeraj Varshney, Mutsumi Nakamura, Man Luo, Santosh Mashetty, Arindam Mitra, Chitta Baral
2024 J jnl
VL-GLUE: A Suite of Fundamental yet Challenging Visuo-Linguistic Reasoning Tasks.
CoRR
Shailaja Keyur Sampat, Mutsumi Nakamura, Shankar Kailas, Kartik Aggarwal, Mandy Zhou, Yezhou Yang, Chitta Baral
2023 J jnl
Instruction Tuned Models are Quick Learners.
CoRR
Himanshu Gupta, Saurabh Arjun Sawant, Swaroop Mishra, Mutsumi Nakamura, Arindam Mitra, Santosh Mashetty, Chitta Baral
2023 — conf
LogicAttack: Adversarial Attacks for Evaluating Logical Consistency of Natural Language Inference.
EMNLP (Findings)
Mutsumi Nakamura, Santosh Mashetty, Mihir Parmar, Neeraj Varshney, Chitta Baral
2008 J jnl
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell.
Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura
2005 — conf
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
DILS
Chitta Baral, Hasan Davulcu, Mutsumi Nakamura, Prabhdeep Singh, Luis Tari, Lian Yu
2005 — conf
Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group.
TREC
Lian Yu, Syed Toufeeq Ahmed, Graciela Gonzalez, Brendan Logsdon, Mutsumi Nakamura, Shawn Nikkila, Kalpesh Shah, Luis Tari, Ryan Wendt, Amanda Zeigler, Chitta Baral
2002 A* conf
Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.
ICDE
Mutsumi Nakamura, Ramez Elmasri
2000 — conf
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Computational Logic
Mutsumi Nakamura, Chitta Baral
2000 — conf
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
AAAI/IAAI
Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland
1997 J jnl
On hardware support for interval computations and for soft computing: theorems.
IEEE Trans. Fuzzy Syst.
Hung T. Nguyen, Vladik Kreinovich, Vyacheslav M. Nesterov, Mutsumi Nakamura