Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas

Browse the full EMNLP paper archive.