Publications : International

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

ESSLLI2025 course: Composing Meaning via Dependent Types by Daisuke Bekki

Contributed Talk - Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

NAtural LOgic meets MAchine learning workshop (NALOMA) co-located with ESSLLI2025

2023 Tokyo Workshop on Theoretical and Computational Semantics