Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations.

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

Browse the full ACL paper archive.