Masaya Taniguchi

According to our database, Masaya Taniguchi authored at least 10 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

LLMs Faithfully and Iteratively Compute Answers During CoT: A Systematic Analysis With Multi-step Arithmetics.

Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2026, 2026

2025

Non-commutative linear logic fragments with sub-context-free complexity.

Yusaku Nishimiya, Masaya Taniguchi

CoRR, November, 2025

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean.

Kazumi Kasaura, Naoto Onda, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda

CoRR, September, 2025

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.

Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda

CoRR, June, 2025

FinchGPT: a Transformer based language model for birdsong analysis.

Kosei Kobayashi, Kosuke Matsuzaki, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui, Kentaro Abe

CoRR, February, 2025

2024

Think-to-Talk or Talk-to-Think? When LLMs Come Up with an Answer in Multi-Step Reasoning.

Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui

CoRR, 2024

J-UniMorph: Japanese Morphological Annotation through the Universal Feature Schema.

Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi

CoRR, 2024

First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning.

Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2022

Losing a Head in Grammar Extraction.

Masaya Taniguchi, Satoshi Tojo

Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

2019

4-valued Logic for Agent Communication with Private/Public Information Passing.

Song Yang, Masaya Taniguchi, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019