Guest Talk - Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS Asa Tomita Aug 1, 2025 国際学会 Slide Course URL : https://github.com/DaisukeBekki/ESSLLI2025