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

Asa Tomita | Mai Matsubara | Hinari Daido | Daisuke Bekki |

Paper Details:

Month: September
Year: 2025
Location: Düsseldorf, Germany
Venue: BriGap | WS |
SIG: SIGSEM