FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale.

Isabelle Lee, Sarah Liaw, Dani Yogatama

Browse the full EACL paper archive.