Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution Armin Toroghi author Willis Guo author Ali Pesaranghader author Scott Sanner 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 toroghi-etal-2024-verifiable 10.18653/v1/2024.emnlp-main.379 https://aclanthology.org/2024.emnlp-main.379/ 2024-11 6634 6652