| 2026 | DIAGRAMS | Do Diagrams Help Large Language Models Reason? Evidence from Syllogistic Reasoning. | Risako Ando, Koji Mineshima |
| 2026 | EACL | Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason's Selection Task. | Hirohiko Abe, Kentaro Ozeki, Risako Ando, Takanobu Morishita, Koji Mineshima, Mitsuhiro Okada |
| 2025 | ACL | Is Partial Linguistic Information Sufficient for Discourse Connective Disambiguation? A Case Study of Concession. | Takuma Sato, Ai Kubota, Koji Mineshima |
| 2024 | ACL | Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. | Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada |
| 2024 | CogSci | Capturing stage-level and individual-level information from photographs: Human-AI comparison. | Yuri Sato, Ayaka Suzuki, Koji Mineshima |
| 2024 | COLING | Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. | Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima |
| 2024 | DIAGRAMS | Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models? | Risako Ando, Kentaro Ozeki, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada |
| 2024 | DIAGRAMS | Building a Large Dataset of Human-Generated Captions for Science Diagrams. | Yuri Sato, Ayaka Suzuki, Koji Mineshima |
| 2023 | PACLIC | Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. | Hayate Funakura, Koji Mineshima |
| 2022 | DIAGRAMS | Visually Analyzing Universal Quantifiers in Photograph Captions. | Yuri Sato, Koji Mineshima |
| 2021 | ACL | SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. | Hitomi Yanaka, Koji Mineshima, Kentaro Inui |
| 2021 | CogSci | Visual representation of negation: Real world data analysis on comic image design. | Yuri Sato, Koji Mineshima, Kazuhiro Ueda |
| 2021 | DIAGRAMS | Can Humans and Machines Classify Photographs as Depicting Negation? | Yuri Sato, Koji Mineshima |
| 2021 | EACL | Exploring Transitivity in Neural NLI Models through Veridicality. | Hitomi Yanaka, Koji Mineshima, Kentaro Inui |
| 2021 | PACLIC | Talking with the Theorem Prover to Interactively Solve Natural Language Inference. | Atsushi Sumita, Yusuke Miyao, Koji Mineshima |
| 2020 | ACL | Logical Inferences with Comparatives and Generalized Quantifiers. | Izumi Haruta, Koji Mineshima, Daisuke Bekki |
| 2020 | ACL | Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? | Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui |
| 2020 | COLING | Combining Event Semantics and Degree Semantics for Natural Language Inference. | Izumi Haruta, Koji Mineshima, Daisuke Bekki |
| 2020 | DIAGRAMS | Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. | Yuri Sato, Koji Mineshima |
| 2020 | LREC | Development of a General-Purpose Categorial Grammar Treebank. | Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano |
| 2019 | AAAI | Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
| 2019 | ACL | Multimodal Logical Inference System for Visual-Textual Entailment. | Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki |
| 2019 | ACL | Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. | Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki |
| 2018 | INLG | Neural sentence generation from formal semantics. | Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martnez-Gmez, Koji Mineshima, Daisuke Bekki |
| 2018 | NAACL | Acquisition of Phrase Correspondences Using Natural Deduction Proofs. | Hitomi Yanaka, Koji Mineshima, Pascual Martnez-Gmez, Daisuke Bekki |
| 2018 | NAACL | Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
| 2017 | EACL | On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. | Pascual Martnez-Gmez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki |
| 2017 | EMNLP | Visual Denotations for Recognizing Textual Entailment. | Dan Han, Pascual Martnez-Gmez, Koji Mineshima |
| 2017 | EMNLP | Determining Semantic Textual Similarity using Natural Deduction Proofs. | Hitomi Yanaka, Koji Mineshima, Pascual Martnez-Gmez, Daisuke Bekki |
| 2017 | IJCNLP | The Challenge of Composition in Distributional and Formal Semantics. | Ran Tian, Koji Mineshima, Pascual Martnez-Gmez |
| 2016 | ACL | ccg2lambda: A Compositional Semantics System. | Pascual Martnez-Gmez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki |
| 2016 | DIAGRAMS | Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. | Yuri Sato, Koji Mineshima |
| 2016 | EMNLP | Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. | Koji Mineshima, Ribeka Tanaka, Pascual Martnez-Gmez, Yusuke Miyao, Daisuke Bekki |
| 2015 | EMNLP | Higher-order logical inference with compositional semantics. | Koji Mineshima, Pascual Martnez-Gmez, Yusuke Miyao, Daisuke Bekki |
| 2015 | IJCAI | Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. | Ayako Nakamura, Koji Mineshima, Daisuke Bekki |
| 2012 | DIAGRAMS | The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. | Yuri Sato, Koji Mineshima |
| 2012 | DIAGRAMS | On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. | Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada |
| 2011 | CogSci | Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. | Yuri Sato, Koji Mineshima, Ryo Takemura |
| 2010 | DIAGRAMS | Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. | Koji Mineshima, Mitsuhiro Okada, Ryo Takemura |
| 2010 | DIAGRAMS | The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. | Yuri Sato, Koji Mineshima, Ryo Takemura |
| 2008 | DIAGRAMS | Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. | Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura |