Publications

Masaya Taniguchi

Peer-reviewed International Conference [edit]

  1. Once a Tree, Always a Tree? Cross-lingual Transfer of Hierarchical Generalization in Language Models
    Shin Yamaguchi, Masaya Taniguchi, Tatsuki Kuribayashi, Taro Watanabe, Yoshinobu Kano
    Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing, Budapest, Hungary, Oct 2026, pp. 60982–60998
    URL arXiv:2610.30960
  2. Semantic Distance for Presburger Formula Generation
    Masaya Taniguchi, Hitomi Yanaka
    Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA), Prague, Czechia, Aug 2026, pp. 71–79
    URL
  3. 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, Rabat, Morocco, Mar 2026, pp. 1114-1153
    URL arXiv:2412.01113
  4. Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
    Kazumi Kasaura, Naoto Onda, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
    Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA), Prague, Czechia, Aug 2026, pp. 40–49
    URL arXiv:2509.14274
  5. 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
    URL
  6. 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
  7. Substructural Logics Weaker than Commutative Lambek Calculus
    Masaya Taniguchi
    TACL (Topology, Algebra and Categories in Logic) 2024, Barcelona, Jul 2024
  8. Unprovability of Continuation-Passing Style Transformation in Lambek Calculus
    Masaya Taniguchi
    European Summer School in Logic, Language and Information, Student Session, Galway, Aug 2022
  9. Left-branching Tree in CCG with D Combinator
    Masaya Taniguchi, Satoshi Tojo
    LENLS (Logic and Engineering of Natural Language Semantics) 19, Tokyo, Nov 2022
  10. Decidable Parsing Algorithm for Categorial Grammar with Type-raising
    Masaya Taniguchi
    THE PROOF SOCIETY, Utrecht, Nov 2022, pp. 82
  11. Losing a Head in Grammar Extraction
    Masaya Taniguchi, Satoshi Tojo
    KSE (Knowledge and Systems Engineering Conference) 2022, Nha Trang, Oct 2022
  12. Interactive CCG Parsing with Incremental Trees
    Masaya Taniguchi, Satoshi Tojo, Koji Mineshima
    論文, Galway, Aug 2022, pp. 1-22
  13. 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
  14. Incremental Derivations with Q Combinator in CCG
    Masaya Taniguchi, Satoshi Tojo
    LENLS (Logic and Engineering of Natural Language Semantics) 18, Online, Nov 2021
  15. Generic Framework to Uncross Dependency
    Masaya Taniguchi, Satoshi Tojo
    AROB (International Symposium on Artificial Life and Robotics) 2020, Beppu, Jan 2020
  16. 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
  17. 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 [edit]

  1. Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information
    Kazumi Kasaura, Kei Tsukamoto, Kento Mori, Risa Mizuno, Takahiro Namatame, Yuta Oriike, Masaya Taniguchi, Sho Sonoda, Hayata Yamasaki
    arXiv preprint arXiv:2607.05492, Jul 2026
    URL arXiv:2607.05492
  2. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
    Naoto Onda, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, Sho Sonoda
    arXiv preprint arXiv:2506.22005, 2025
    URL arXiv:2506.22005
  3. Non-commutative linear logic fragments with sub-context-free complexity
    Yusaku 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

International Conference Presentation [edit]

  1. Neural-Guided Kripke Countermodel Synthesis with Symbolic Verification
    Masaya Taniguchi, Sho Sonoda
    11th Conference on Artificial Intelligence and Theorem Proving (AITP 2026), contributed talk, Aussois, France, Sep 2026
    URL

System Demonstration [edit]

  1. Xeus-Haskell: Interactive Haskell Computing in the Browser
    Masaya Taniguchi
    Haskell Symposium 2026, system demonstration, Indianapolis, USA, Aug 2026
    URL

Research Poster [edit]

  1. 学習順序攻撃：２値分類タスクのカリキュラム学習
    谷口雅弥, 塩谷航大
    2026
    URL

Research Slides [edit]

  1. 有限循環 Lambek 文法の表現力：カット除去の不成立と文脈自由言語の厳密な拡張
    Masaya Taniguchi
    Oct 24, 2026

Domestic Conference [edit]

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

Invited Talk [edit]

  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 [edit]

  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 [edit]

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

Technical Article [edit]

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

Peer-reviewed Journal [edit]

  1. Interactive Grammar Extraction from a TreeBank
    Masaya Taniguchi, Satoshi Tojo
    Journal of Intelligent Informatics and Smart Technology, 2022, vol. 8
    URL
Categories: Publications
Retrieved from "https://tani.cc/publications.html"