← Search

Haruki Shirakami

4 accepted papers

2025

Are Language Models Efficient Reasoners? A Perspective from Logic Programming

NeurIPS 2025poster

Modern language models (LMs) exhibit strong deductive reasoning capabilities, yet standard evaluations emphasize correctness while overlooking a key aspect of human-like reasoning: *efficiency*. In real-world reasoning scenarios, much of the available information is irrelevant, and effective deducti…

Cited by 0SourceScholar
2025

MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs

ICLR 2025poster

Large language models (LLMs) can solve arithmetic word problems with high accuracy, but little is known about how well they generalize to more complex problems. This is difficult to study, as (i) much of the available evaluation data has already been seen by the most capable models during training,…

Cited by 3SourcePDFScholar
2024

Do Language Models Exhibit the Same Cognitive Biases in Problem Solving as Human Learners?

ICML 2024poster

There is increasing interest in employing large language models (LLMs) as cognitive models. For such purposes, it is central to understand which properties of human cognition are well-modeled by LLMs, and which are not. In this work, we study the biases of LLMs in relation to those known in children…