Xin Quan Marco Valentino Louise A. Dennis André Freitas Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. 2933-2958 2024 EMNLP https://doi.org/10.18653/v1/2024.emnlp-main.172 https://aclanthology.org/2024.emnlp-main.172 conf/emnlp/2024 db/conf/emnlp/emnlp2024.html#QuanVDF24