CONF Quan_EMNLP2024_2024/IDIAP Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving Quan, Xin Valentino, Marco Dennis, Louise A Freitas, Andre Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing 2024