{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T04:52:54Z","timestamp":1781931174129,"version":"3.54.5"},"reference-count":24,"publisher":"Association for Natural Language Processing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Natural Language Processing"],"published-print":{"date-parts":[[2026]]},"DOI":"10.5715\/jnlp.33.1072","type":"journal-article","created":{"date-parts":[[2026,6,14]],"date-time":"2026-06-14T22:11:34Z","timestamp":1781475094000},"page":"1072-1080","source":"Crossref","is-referenced-by-count":0,"title":["NLP2026 Theme Session \u201cMath NLP in the Era of Large Language Models: Practical Foundations for Representation, Reasoning, and Verification\u201d","NLP2026 \u30c6\u30fc\u30de\u30bb\u30c3\u30b7\u30e7\u30f3\u300c\u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u6642\u4ee3\u306e\u6570\u5f0fNLP\uff1a\u8868\u73fe\u30fb\u63a8\u8ad6\u30fb\u691c\u8a3c\u306e\u5b9f\u52d9\u57fa\u76e4\u300d"],"prefix":"10.5715","volume":"33","author":[{"given":"Shota","family":"Kato","sequence":"first","affiliation":[{"name":"Graduate School of Informatics, Kyoto University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"3685","reference":[{"key":"1","unstructured":"\u65b0\u4e95\u6df1\u6708\uff0c\u77f3\u57a3\u9054\u4e5f\uff0c\u5bae\u5c3e\u7950\u4ecb\uff0c\u9ad8\u6751\u5927\u4e5f\uff0c\u5c0f\u6797\u4e00\u90ce (2026). \u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u306e\u6570\u5024\u7cfb\u5217\u89e3\u91c8\u30e1\u30ab\u30cb\u30ba\u30e0\u306e\u89e3\u660e\u306b\u5411\u3051\u3066\uff1a\u30d7\u30ed\u30f3\u30d7\u30c8\u306e\u6709\u7121\u304c\u9806\u4f4d\u60c5\u5831\u8868\u73fe\u306b\u4e0e\u3048\u308b\u5f71\u97ff. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1440\u20131445. [M. Arai et al. (2026). Daikibo Gengo Moderu no Suchi Keiretsu Kaishaku Mekanizumu no Kaimei ni Mukete: Puronputo no Umu ga Juni Joho Hyogen ni Ataeru Eikyo, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1440\u20131445.]."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Asakura, T., and Miyao, Y. (2024). \u201cWhat Is Needed for Intra-document Disambiguation of Math Identifiers?\u201d In <i>Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024)<\/i>, pp. 17500\u201317512, Torino, Italia. ELRA and ICCL.","DOI":"10.63317\/3kddqiscjj73"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Cao, C., Li, M., Dai, J., Yang, J., Zhao, Z., Zhang, S., Shi, W., Liu, C., Han, S., and Guo, Y. (2025). \u201cTowards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving.\u201d In <i>Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing<\/i>, pp. 12429\u201312449, Suzhou, China. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.emnlp-main.628"},{"key":"4","unstructured":"Chen, Y., Xia, J., Shao, S., Ge, D., and Ye, Y. (2025). \u201cSolver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling.\u201d <i>arXiv preprint arXiv:2505.11792<\/i>."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Collard, J., de Paiva, V., and Subrahmanian, E. (2024). \u201cMathematical Entities: Corpora and Benchmarks.\u201d In <i>Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024)<\/i>, pp. 11080\u201311089, Torino, Italia. ELRA and ICCL.","DOI":"10.63317\/2ptm9cvq4ybc"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Dev, A., Asakura, T., and S\u00e6tre, R. (2024). \u201cAn Approach to Co-reference Resolution and Formula Grounding for Mathematical Identifiers Using Large Language Models.\u201d In <i>Proceedings of the 2nd Workshop on Mathematical Natural Language Processing @ LREC-COLING 2024<\/i>, pp. 1\u201310, Torino, Italia. ELRA and ICCL.","DOI":"10.63317\/3pq3nw4vzona"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Fang, Y., Huang, S., Yu, X., Huang, H., Zhang, Z., Deng, W., Wei, F., Sun, F., Zhang, Q., and Jin, Z. (2025). \u201cNL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning.\u201d In <i>Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing<\/i>, pp. 31148\u201331158, Suzhou, China. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.emnlp-main.1586"},{"key":"8","unstructured":"Horn, P., and Keuper, J. (2025). \u201cBenchmarking Document Parsers on Mathematical Formula Extraction from PDFs.\u201d <i>arXiv preprint arXiv:2512.09874<\/i>."},{"key":"9","unstructured":"\u80e1\u771f\u745c\uff0c\u671d\u5009\u5353\u4eba\uff0c\u5409\u91ce\u5e78\u4e00\u90ce (2026). \u30db\u30ef\u30a4\u30c8\u30dc\u30fc\u30c9\u3092\u7528\u3044\u305f\u6570\u5b66\u5354\u8abf\u4f5c\u696d\u306e\u5bfe\u8a71\u69cb\u9020\u89e3\u6790\u306b\u5411\u3051\u3066. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1446\u20131450. [Z. Hu et al. (2026). Howaitobodo wo Mochiita Sugaku Kyocho Sagyo no Taiwa Kozo Kaiseki ni Mukete, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1446\u20131450.]."},{"key":"10","unstructured":"\u77f3\u57a3\u9054\u4e5f\uff0c\u9df2\u91ce\u58ee\u5e73\uff0cMatiss Rikters\uff0c\u5ddd\u539f\u7530\u5c06\u4e4b\uff0c\u52a0\u85e4\u7965\u592a\uff0c\u5c71\u53e3\u5927\u8cb4 (2026). BikeCoach: \u7df4\u7fd2\u30d7\u30ed\u30c8\u30b3\u30eb\u3092\u8003\u616e\u3057\u305f\u81ea\u8ee2\u8eca\u7af6\u6280\u306b\u304a\u3051\u308b\u89b3\u70b9\u5225\u52a9\u8a00\u751f\u6210. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1479\u20131483. [T. Ishigaki et al. (2026). BikeCoach: Renshu Purotokoru-wo Koryo shita Jitensha Kyogi ni okeru Kanten Betsu Jogen Seisei, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp.1479\u20131483]."},{"key":"11","unstructured":"\u52a0\u85e4\u7965\u592a\uff0c\u53e4\u8358\u5927\u559c\uff0c\u52a0\u7d0d\u5b66 (2026). \u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u5358\u4f53\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3\u306b\u3088\u308bPDF\u6587\u732e\u7fa4\u304b\u3089\u306e\u7269\u7406\u30e2\u30c7\u30eb\u81ea\u52d5\u69cb\u7bc9. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1484\u20131489. [S. Kato et al. (2026). Daikibo Gengo Moderu Tantai Paipurain ni yoru PDF Bunkengun karano Butsuri Moderu Jido Kochiku, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1484\u20131489.]."},{"key":"12","unstructured":"\u718a\u61d0\u7950\u592a\uff0c\u5409\u6c38\u76f4\u6a39 (2026). \u7db2\u7f85\u7684\u7d71\u5236\u5b9f\u9a13\u306b\u3088\u308bTransformer\u306e\u52a0\u7b97\u80fd\u529b\u7372\u5f97\u6a5f\u5e8f\u306e\u89e3\u660e. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1473\u20131478. [Y. Kumadaki and N. Yoshinaga (2026). Morateki Tosei Jikken ni yoru Transformer no Kasan Noryoku Kakutoku Kijo no Kaimei, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1473\u20131478.]."},{"key":"13","doi-asserted-by":"crossref","unstructured":"Li, Z. (2025). \u201cFormula-Text Cross-Retrieval: A Benchmarking Study of Dense Embedding Methods for Mathematical Information Retrieval.\u201d In <i>Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)<\/i>, pp. 124\u2013133, Suzhou, China. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.mathnlp-main.9"},{"key":"14","unstructured":"\u4e38\u7530\u6566\u8cb4\uff0c\u52a0\u85e4\u8aa0 (2026). Fermi-MCTS\uff1a\u30d5\u30a7\u30eb\u30df\u63a8\u5b9a\u306e\u305f\u3081\u306eLLM\u63a8\u8ad6\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1451\u20131456. [A. Maruta and M. P. Kato (2026). Fermi-MCTS: Ferumi Suitei no tame no LLM Suiron Furemuwaku, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1451\u20131456.]."},{"key":"15","unstructured":"\u9580\u8c37\u62d3\u80fd\uff0c\u795e\u91ce\u502b\u884c\uff0c\u5742\u4e95\u512a\u4ecb\uff0c\u6e21\u8fba\u592a\u90ce (2026). \u51fa\u529b\u5236\u7d04\u3068\u8868\u8a18\u6b63\u898f\u5316\u306b\u3088\u308b LLM \u5f62\u5f0f\u8a3c\u660e\u306e\u30bf\u30af\u30c6\u30a3\u30af\u9078\u629e\u8a55\u4fa1. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1463\u20131468. [H. Monya et al. (2026). Shutsuryoku Seiyaku to Hyoki Seikika ni yoru LLM Keishiki Shomei no Takutiku Sentaku Hyoka, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1463\u20131468.]."},{"key":"16","unstructured":"Okgetheng, B., and Takeuchi, K. (2026). \u201cMulti-Expert Evaluation with Chain-of-Thought Reasoning: A Mixture of Experts Approach to Automated Japanese Essay Scoring.\u201d In <i>Proceedings of the 32nd Annual Meeting of the Association for Natural Language Processing<\/i>, pp. 1469\u20131472."},{"key":"17","doi-asserted-by":"crossref","unstructured":"Pham, Q. H., Nguyen, T. D., Pham, T., Luu, A. T., and Nguyen, D. Q. (2025). \u201cClozeMath: Improving Mathematical Reasoning in Language Models by Learning to Fill Equations.\u201d In <i>Findings of the Association for Computational Linguistics: ACL 2025<\/i>, pp. 14322\u201314329, Vienna, Austria. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.findings-acl.738"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Scarlatos, A., and Lan, A. (2023). \u201cTree-Based Representation and Generation of Natural and Mathematical Language.\u201d In <i>Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)<\/i>, pp. 3714\u20133730, Toronto, Canada. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2023.acl-long.205"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Wang, D., Raman, N., Sibue, M., Ma, Z., Babkin, P., Kaur, S., Pei, Y., Nourbakhsh, A., and Liu, X. (2024a). \u201cDocLLM: A Layout-Aware Generative Language Model for Multimodal Document Understanding.\u201d In <i>Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)<\/i>, pp. 8529\u20138548, Bangkok, Thailand. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2024.acl-long.463"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Wang, R., Zhang, J., Jia, Y., Pan, R., Diao, S., Pi, R., and Zhang, T. (2024b). \u201cTheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.\u201d In <i>Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing<\/i>, pp. 11953\u201311974, Miami, Florida, USA. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2024.emnlp-main.667"},{"key":"21","unstructured":"\u5c71\u7530\u9234\u592a\uff0c\u5c71\u5d0e\u7d17\u7d00\u5b50\uff0c\u5b89\u6771\u91cc\u6c99\u5b50\uff0c\u5929\u672c\u8cb4\u4e4b\uff0c\u79cb\u5409\u4eae\u592a\uff0c\u5cef\u5cf6\u5b8f\u6b21 (2026). \u6570\u5b66\u7684\u8a3c\u660e\u306b\u304a\u3051\u308bbut\u306e\u6a5f\u80fd\uff1a\u8a3c\u660e\u30b3\u30fc\u30d1\u30b9\u306e\u69cb\u7bc9\u3068\u5206\u6790. \u8a00\u8a9e\u51e6\u7406\u5b66\u4f1a\u7b2c32\u56de\u5e74\u6b21\u5927\u4f1a\u767a\u8868\u8ad6\u6587\u96c6, pp. 1457\u20131462. [R. Yamada et al. (2026). Sugakuteki Shomei ni okeru but no Kino: Shomei Kopasu no Kochiku to Bunseki, Gengoshorigakkai Dai 32 Kai Happyo Ronbunshu, pp. 1457\u20131462.]."},{"key":"22","doi-asserted-by":"crossref","unstructured":"Yao, J., Wang, R., and Zhang, T. (2025). \u201cFANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4.\u201d In <i>Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing<\/i>, pp. 3181\u20133200, Suzhou, China. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.emnlp-main.158"},{"key":"23","doi-asserted-by":"crossref","unstructured":"Zhang, L., Valentino, M., and Freitas, A. (2025). \u201cAutoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions.\u201d In <i>Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing<\/i>, pp. 1720\u20131738, Suzhou, China. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2025.emnlp-main.90"},{"key":"24","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Long, Y., Liu, H., Kamoi, R., Nan, L., Chen, L., Liu, Y., Tang, X., Zhang, R., and Cohan, A. (2024). \u201cDocMath-Eval: Evaluating Math Reasoning Capabilities of LLMs in Understanding Long and Specialized Documents.\u201d In <i>Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)<\/i>, pp. 16103\u201316120, Bangkok, Thailand. Association for Computational Linguistics.","DOI":"10.18653\/v1\/2024.acl-long.852"}],"container-title":["Journal of Natural Language Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/jnlp\/33\/2\/33_1072\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T04:43:23Z","timestamp":1781930603000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/jnlp\/33\/2\/33_1072\/_article\/-char\/ja\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026]]}},"URL":"https:\/\/doi.org\/10.5715\/jnlp.33.1072","relation":{},"ISSN":["1340-7619","2185-8314"],"issn-type":[{"value":"1340-7619","type":"print"},{"value":"2185-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}