Publications

Masaya Taniguchi

Peer-reviewed International Conference

  1. 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
    Findings of the Association for Computational Linguistics: EACL 2026, 2026, pp. 1114-1153
  2. 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, Nov 2024, pp. 14255–14271
  3. J-UniMorph: Japanese morphological annotation through the universal feature schema
    Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi
    Proceedings of the 21st SIGMORPHON workshop on Computational Research in Phonetics, Phonology, and Morphology, Mexico City, Jun 2024, pp. 7–19
  4. 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(EMNLP), 2024, pp. 1undefined 4255271
    URL
  5. Substructural Logics Weaker than Commutative Lambek Calculus
    Masaya Taniguchi
    TACL (Topology, Algebra and Categories in Logic) 2024, Barcelona, Jul 2024
  6. Unprovabiliy of Continuation-Passing Style Transformation in Lambek Calculus
    Masaya Taniguchi
    European Summer School in Logic, Language and Information, Student Session, Galway, Aug 2022
  7. Left-branching Tree in CCG with D Combinator
    Masaya Taniguchi, Satoshi Tojo
    LENLS (Logic and Engineering of Natural Language Semantics) 19, Tokyo, Nov 2022
  8. Decidable Parsing Algorithm for Categorial Grammar with Type-raising
    Masaya Taniguchi
    THE PROOF SOCIETY, Utrecht, Nov 2022, pp. 82
  9. Losing a Head in Grammar Extraction
    Masaya Taniguchi, Satoshi Tojo
    KSE (Knowledge and Systems Engineering Conference) 2022, Nha Trang, Oct 2022
  10. Interactive CCG Parsing with Incremental Trees
    Masaya Taniguchi, Satoshi Tojo, Koji Mineshima
    論文, Galway, Aug 2022, pp. 1-22
  11. Interactive grammar extraction from a treebank
    Masaya Taniguchi, Satoshi Tojo
    Proceedings of The 16th International Conference on Knowledge, Information and Creativity Support Systems, Bangkok, Nov 2021
  12. Incremental Derivations with Q Combinator in CCG
    Masaya Taniguchi, Satoshi Tojo
    LENLS (Logic and Engineering of Natural Language Semantics) 18, Online, Nov 2021
  13. Generic Framework to Uncross Dependency
    Masaya Taniguchi, Satoshi Tojo
    AROB (International Symposium on Artificial Life and Robotics) 2020, Beppu, Jan 2020
  14. 4-valued Logic for Agent Communication with Private/Public Information Passing.
    Song Yang, Masaya Taniguchi, Satoshi Tojo
    ICAART (1), 2019, vol. 1, pp. 54-61
    URL
  15. Finding Grammar in Music by Evolutionary Linguistics
    Hiroki Sudo, Masaya Taniguchi, Satoshi Tojo
    2018 Thirteenth International Conference on Knowledge, Information and Creativity Support Systems, Phatthaya, Nov 2018

Preprint

  1. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
    Naoya Onda, Kazuma Kasaura, Yuma Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
    arXiv preprint arXiv:2506.22005, 2025
    URL arXiv:2506.22005
  2. Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
    Kazuma Kasaura, Naoya Onda, Yuma Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
    2025
    URL arXiv:2509.14274
  3. Non-commutative linear logic fragments with sub-context-free complexity
    Yusuke Nishimiya, Masaya Taniguchi
    2025
    URL arXiv:2511.02348
  4. The Expressivity of Fixed-Precision Transformers without Positional Encoding
    Nao Negishi, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
    2025
  5. FinchGPT: a Transformer based language model for birdsong analysis
    Kosei Kobayashi, Kosuke Matsuzaki, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui, Kentaro Abe
    arXiv preprint arXiv:2502.00344, 2025
    URL arXiv:2502.00344 cs.CL
  6. Think-to-Talk or Talk-to-Think? When LLMs Come Up with an Answer in Multi-Hop Arithmetic Reasoning
    Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Ana Brassard, Keisuke Sakaguchi, Kentaro Inui
    arXiv preprint arXiv:2412.01113, 2024
    arXiv:2412.01113
  7. 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
    arXiv preprint arXiv:2412.01113, 2024
    arXiv:2412.01113

Domestic Conference

  1. 定数精度浮動小数点Transformer Decoderが認識する言語の有限性・余有限性
    根岸直生, 谷口雅弥, 坂口慶祐, 坂口慶祐, 乾健太郎, 乾健太郎, 乾健太郎
    言語処理学会年次大会発表論文集(Web), 2025, vol. 31st
    URL
  2. Curriculum Learning Towards Hallucination
    Masaya Taniguchi
    the 29th Interdisciplinary Exchange Evening, Nov 2025
  3. Substructural Logics weaker than Commutative Lambek Calculus
    Masaya Taniguchi
    Seminar on Algebra, Logic and Geometry in Informatics, ALGI 2025, Nov 2025
  4. The Internal Mechanisms of Incremental Combinatory Categorial Grammar and Language Models
    Masaya Taniguchi
    YANS 2025, Sep 2025
  5. Revisiting Classical Methods in Dialect Speech Recognition
    Kosuke Matsuzaki, Masaya Taniguchi
    YANS 2025, Sep 2025
  6. Left Recursion Elimination Theorem in Categorical Grammar (from Finite Languages to Weakly Context-Sensitive Grammars)
    Masaya Taniguchi
    Research Meeting on Computation, Language, and Logic, Aug 2025
  7. Learnability of Regular Languages in Language Models
    Masaya Taniguchi, Nao Negishi, Yusuke Nishimiya, Keisuke Sakaguchi, Kentaro Inui
    人工知能学会全国大会論文集 第39回 (2025), May 2025, pp. 4K3IS2f04-4K3IS2f04
  8. 範疇文法と自由コンパクト2圏
    Masaya Taniguchi
    Computer Science and Category Theory (CSCAT), Kumamoto, Japan, Mar 2025
  9. Finiteness and Cofiniteness of Languages Recognized by Constant-Precision Floating-Point Transformer Decoders
    Nao Negishi, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
    The 31st Annual Meeting of the Association for Natural Language Processing (NLP 2025), Mar 2025
  10. Controlling Language Models Using Curriculum Learning
    Masaya Taniguchi
    AIP Retreat, Tokyo, Mar 2025
  11. 弱いランベック計算への招待: 論理と形式言語
    Masaya Taniguchi
    Logic Winter School III, Feb 2025
  12. Substructural Logic Weaker than Product-free Lambek Calculus
    Masaya Taniguchi
    Math Logic Youth Conference, Oct 2024
  13. Lambek Calculus and Context-Free / Linear / Regular Grammars
    Masaya Taniguchi
    Computation, Language, and Logic Workshop, Onjuku, Sep 2024
  14. Lambek Calculus and Regular Grammar
    Masaya Taniguchi
    SLACS (Symbolic Logic and Computer Science) 2024, Aug 2024
  15. Dynamic Search Strategy in Chain-of-Thought Reasoning by Language Models
    Yoichi Aoki, Keion Kudo, Shusaku Sone, Itsuki Kuribayashi, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
    The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024), Kobe, Mar 2024
  16. Feature Analysis of Generated Texts by LLMs Based on Detector Judgments
    Toko Miura, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui
    The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024), Kobe, Mar 2024
  17. J-UniMorph: Systematization of Semantic Classification in Japanese Morphology
    Kosuke Matsuzaki, Masaya Taniguchi, Kentaro Inui, Keisuke Sakaguchi
    The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024), Kobe, Mar 2024
  18. Internal Mechanisms of Autoregressive Language Models in Arithmetic Reasoning
    Yoichi Aoki, Keion Kudo, Itsuki Kuribayashi, Masaya Taniguchi, Shusaku Sone, Keisuke Sakaguchi, Kentaro Inui
    The 30st Annual Meeting of the Association for Natural Language Processing (NLP 2024), Kobe, Mar 2024
  19. Operad for Lambek Calculus
    Masaya Taniguchi
    CSCAT (Computer Science and Category Theory), Mar 2024
  20. Categorial Grammar and Free Compact 2-Categories
    Masaya Taniguchi
    CSCAT (Computer Science and Category Theory), Mar 2024
  21. Mathematical Logic Approach for Incremental Parsing
    Masaya Taniguchi
    AIP Retreat, Tokyo, Mar 2024
  22. Context-sensitive Extension of Lambek Calculus
    Masaya Taniguchi
    MLG Workshop, Miyagi, Feb 2024
  23. Mathematics in Context Sensitive Language
    Masaya Taniguchi
    AIP Math Retreat, Kanagawa, Feb 2024
  24. Computational Interpretation of Categorial Grammar
    Masaya Taniguchi
    Linguistics Fest, Online, Jan 2024
  25. Programming Support with Proof Assistants: Bridging Linguistics and Engineering
    Masaya Taniguchi
    San'in Workshop, Tottori, Jan 2024
  26. Structural Connection between Directional Implications and Type-Raising
    Masaya Taniguchi
    Proof Theory and Computation, Kyoto, Dec 2023
  27. Rapid Introduction to Lambek Calculus
    Masaya Taniguchi
    Young Researchers Logic Meeting, Chiba, Dec 2023
  28. Computational Complexity of Combinatory Categorical Grammar
    Masaya Taniguchi
    Math Logic Youth Conference, Tokyo, Dec 2023
  29. Incremental Parsing: Categorial Grammars and Lambek-style Calculi
    Masaya Taniguchi
    Substructural Logic Workshop in Ishikawa, May 2022
  30. Subjunctive Markers in Intensional Logic
    Masaya Taniguchi
    SLACS (Symbolic Logic and Computer Science) 2024, Aug 2019
  31. Introduction to Montague Grammar
    Masaya Taniguchi
    Math Logic Youth Conference, Nov 2018

Invited Talk

  1. 続・弱いランベック計算: 有限言語のための範疇文法
    Masaya Taniguchi
    名古屋大学ロジックセミナー, Nagoya, Japan, Apr 2025
  2. Mathematics in Natural Language
    Masaya Taniguchi
    Guest Lecture, Tohoku University, Dec 2024
  3. Selling your Research: What We Did to Get People to Use Categorical Grammar
    Masaya Taniguchi
    Discovery Evening, RIKEN, Saitama, Feb 2024
  4. Lambek Calculus for Context-sensitive Language
    Masaya Taniguchi
    Ookayama Mathematical Logic Seminar, Tokyo, Feb 2024
  5. Mathematics in Natural Language
    Masaya Taniguchi
    Guest Lecture, Tohoku University, Dec 2023
  6. Decidability of Categorial Grammar
    Masaya Taniguchi
    Matsuzaki Lab Seminar, Tokyo University of Science, Dec 2023
  7. Lambek Calculus from the View of Mathematical Linguistics
    Masaya Taniguchi
    Hasegawa Lab Seminar, RIMS Kyoto University, Dec 2023
  8. Computability theory of Combinatory Categorial Grammar
    Masaya Taniguchi
    The Young Researchers’ Meeting of Mathematical Logic, Tokyo, Sep 2023
  9. Bridging the Gap: Combinatorial Categorical Grammars and Proof Theory
    Masaya Taniguchi
    Computational Logic Seminar, TU Wien, Jul 2023
  10. Proof Theoretic Linguistics
    Masaya Taniguchi
    Sendai Logic Group Seminar, Tohoku University, May 2023
  11. CG for Ungrammatical Sentences: Proving the Unprovability
    Masaya Taniguchi
    MiCS, Tohoku University, Miyagi, Japan, Oct 2022

Research Report

  1. Taniguchi (2022), Unprovability of Continuation-Passing Style Transformation in Lambek Calculus
    Masaya Taniguchi
    University of Amsterdam / Amsterdam University of Applied Sciences, 2024
  2. Polymorphic Lambek Calculus
    Masaya Taniguchi

Thesis

  1. Incremental Parsing in Combinatory Categorial Grammar
    Masaya Taniguchi
    JAIST, Mar 2023

Technical Article

  1. コマンド操作からプラグインまで Vimの基本大全 どんな状況でも通用するviの使い方からしっかりと! 第3章 ファイル操作 コマンドとプラグインを駆使して自在に操作する
    谷口雅弥
    Software Design, 2022, vol. 381
    URL