Koji Mineshima
25 papers · 2015–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🗺️ Taxonomy Completionist (30) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🔬
Deep Specialist
(12)
🤝
Dynamic Duo
(14)
🌈
Renaissance Researcher
(5)
🔥
Unstoppable · Bronze
❓
The Questioner
(3)
🚀
Conference Pioneer
💎
Century Club · Bronze
📈
Trend Setter
🗃️
Keyword Collector
(93)
Top co-authors
Research topics
Natural Language Processing
(15)
Applications
(12)
Machine Learning
(9)
Artificial Intelligence
(7)
Knowledge & Reasoning
(7)
Reasoning
(7)
Core AI
(6)
Understanding
(6)
Core Methods
(4)
Optimization & Theory
(4)
Interdisciplinary
(3)
Linguistics
(3)
Resources & Methods
(3)
Deep Learning
(2)
Application Areas
(2)
Keywords
natural language inference
(8)
combinatory categorial grammar
(4)
large language model
(3)
logical semantics
(3)
theorem proving
(3)
neural network
(3)
textual entailment
(3)
semantic representation
(3)
logical semantic representation
(2)
logical inference
(2)
transfer learning
(2)
logical reasoning
(2)
japanese language
(2)
formal semantics
(2)
semantic relation
(2)
semantic parsing
(2)
automated theorem proving
(2)
lexical knowledge
(2)
discourse relation
(2)
axiom injection
(2)
Papers
Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason’s Selection Task
EACL 2026
A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
EMNLP 2025
Is Partial Linguistic Information Sufficient for Discourse Connective Disambiguation? A Case Study of Concession
ACL 2025
Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives
EMNLP 2025
Annotation of Japanese Discourse Relations Focusing on Concessive Inferences
COLING 2024
Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset
ACL 2024
Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference
EMNLP 2021
Exploring Transitivity in Neural NLI Models through Veridicality
EACL 2021
SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics
ACL 2021
Combining Event Semantics and Degree Semantics for Natural Language Inference
COLING 2020
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?
ACL 2020
Logical Inferences with Comparatives and Generalized Quantifiers
ACL 2020
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation
ACL 2019
Can Neural Networks Understand Monotonicity Reasoning?
ACL 2019
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
AAAI 2019
Multimodal Logical Inference System for Visual-Textual Entailment
ACL 2019
Acquisition of Phrase Correspondences Using Natural Deduction Proofs
NAACL 2018
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning
NAACL 2018
Determining Semantic Textual Similarity using Natural Deduction Proofs
EMNLP 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
EACL 2017
The Challenge of Composition in Distributional and Formal Semantics
IJCNLP 2017
Visual Denotations for Recognizing Textual Entailment
EMNLP 2017
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
EMNLP 2016
ccg2lambda: A Compositional Semantics System
ACL 2016
Higher-order logical inference with compositional semantics
EMNLP 2015