Publications : Peer-Reviewed

Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS

In Proceedings of the 2nd Workshop on Bridges and Gaps between Formal and Computational Linguistics (BriGap-2)

Reforging : A Method for Constructing a Linguistically Valid Japanese CCG Treebank.

In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop. (EACL SRW)

In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2025)