On hardware support for interval computations and for soft computing: theorems. - Hung T. Nguyen 002; Vladik Kreinovich; Vyacheslav M. Nesterov; Mutsumi Nakamura (IEEE Trans. Fuzzy Syst., 1997)

Maintainability: A Weaker Stabilizability Like Notion for High Level Control. - Mutsumi Nakamura; Chitta Baral; Marcus Bjäreland (AAAI/IAAI, 2000)

Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. - Mutsumi Nakamura; Chitta Baral (Computational Logic, 2000)

Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules. - Mutsumi Nakamura; Ramez Elmasri (ICDE, 2002)

Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration. - Chitta Baral; Hasan Davulcu; Mutsumi Nakamura; Prabhdeep Singh; Luis Tari; Lian Yu (DILS, 2005)

Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group. - Lian Yu; Syed Toufeeq Ahmed; Graciela Gonzalez 001; Brendan Logsdon; Mutsumi Nakamura; Shawn Nikkila; Kalpesh Shah; Luis Tari; Ryan Wendt; Amanda Zeigler; Chitta Baral (TREC, 2005)

Maintenance goals of agents in a dynamic environment: Formulation and policy construction. - Chitta Baral; Thomas Eiter; Marcus Bjäreland; Mutsumi Nakamura (Artif. Intell., 2008)

LogicAttack: Adversarial Attacks for Evaluating Logical Consistency of Natural Language Inference. - Mutsumi Nakamura; Santosh Mashetty; Mihir Parmar; Neeraj Varshney; Chitta Baral (EMNLP (Findings), 2023)

Instruction Tuned Models are Quick Learners. - Himanshu Gupta; Saurabh Arjun Sawant; Swaroop Mishra; Mutsumi Nakamura; Arindam Mitra; Santosh Mashetty; Chitta Baral (CoRR, 2023)

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models. - Mihir Parmar; Nisarg Patel; Neeraj Varshney; Mutsumi Nakamura; Man Luo 003; Santosh Mashetty; Arindam Mitra; Chitta Baral (ACL (1), 2024)

Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models. - Nisarg Patel; Mohith Kulkarni; Mihir Parmar; Aashna Budhiraja; Mutsumi Nakamura; Neeraj Varshney; Chitta Baral (EMNLP, 2024)

Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter? - Nemika Tyagi; Mihir Parmar; Mohith Kulkarni; Aswin RRV; Nisarg Patel; Mutsumi Nakamura; Arindam Mitra; Chitta Baral (EMNLP, 2024)

"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning. - 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; et al. (SP, 2024)

Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models. - Mihir Parmar; Nisarg Patel; Neeraj Varshney; Mutsumi Nakamura; Man Luo 003; Santosh Mashetty; Arindam Mitra; Chitta Baral (CoRR, 2024)

VL-GLUE: A Suite of Fundamental yet Challenging Visuo-Linguistic Reasoning Tasks. - Shailaja Keyur Sampat; Mutsumi Nakamura; Shankar Kailas; Kartik Aggarwal; Mandy Zhou; Yezhou Yang; Chitta Baral (CoRR, 2024)