Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving Xin Quan author Marco Valentino author Louise A Dennis author Andre Freitas author 2024-11 text Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing Yaser Al-Onaizan editor Mohit Bansal editor Yun-Nung Chen editor Association for Computational Linguistics Miami, Florida, USA conference publication quan-etal-2024-verification 10.18653/v1/2024.emnlp-main.172 https://aclanthology.org/2024.emnlp-main.172/ 2024-11 2933 2958