@inproceedings{toroghi-etal-2024-verifiable,
    title = "Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via {LLM}-based Theory Resolution",
    author = "Toroghi, Armin  and
      Guo, Willis  and
      Pesaranghader, Ali  and
      Sanner, Scott",
    editor = "Al-Onaizan, Yaser  and
      Bansal, Mohit  and
      Chen, Yun-Nung",
    booktitle = "Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2024",
    address = "Miami, Florida, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2024.emnlp-main.379/",
    doi = "10.18653/v1/2024.emnlp-main.379",
    pages = "6634--6652"
}