Prover-Guided Correction for Natural Language to First-Order Logic Conversion.

Manyao Zhu, Guanfeng Wu, Jun Liu, Yang Xu

Browse the full ISKE paper archive.