Masaya Taniguchi

11 papers A* 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
LLMs Faithfully and Iteratively Compute Answers During CoT: A Systematic Analysis With Multi-step Arithmetics.
EACL (Findings)
Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui
2025 J jnl
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean.
CoRR
Kazumi Kasaura, Naoto Onda, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
2025 J jnl
FinchGPT: a Transformer based language model for birdsong analysis.
CoRR
Kosei Kobayashi, Kosuke Matsuzaki, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui, Kentaro Abe
2025 J jnl
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.
CoRR
Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
2025 J jnl
Non-commutative linear logic fragments with sub-context-free complexity.
CoRR
Yusaku Nishimiya, Masaya Taniguchi
2024 A* conf
First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning.
EMNLP
Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
2024 J jnl
First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning.
CoRR
Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
2024 J jnl
J-UniMorph: Japanese Morphological Annotation through the Universal Feature Schema.
CoRR
Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi
2024 J jnl
Think-to-Talk or Talk-to-Think? When LLMs Come Up with an Answer in Multi-Step Reasoning.
CoRR
Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui
2022 — conf
Losing a Head in Grammar Extraction.
KSE
Masaya Taniguchi, Satoshi Tojo
2019 — conf
4-valued Logic for Agent Communication with Private/Public Information Passing.
ICAART (1)
Song Yang, Masaya Taniguchi, Satoshi Tojo