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

Asa Tomita

Course URL : https://github.com/DaisukeBekki/ESSLLI2025