Masaya Taniguchi

According to our database, Masaya Taniguchi authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

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