{"type":"ScholarlyArticle","title":"Neuro-Symbolic Logical Reasoning with Textual Entailment","authors":[{"name":"Zacchary Sadeddine","slug":"zacchary-sadeddine","given":"Zacchary","family":"Sadeddine","affiliation":""},{"name":"Fabian Suchanek","slug":"fabian-suchanek","given":"Fabian","family":"Suchanek","affiliation":""}],"abstract":"Large Language Models can use logical deduction to answer natural language questions, but they remain black-boxes with potentially erroneous chains-of-thought. In this paper, we adapt VANESSA, a neuro-symbolic method for chain-of-thought verification, to reasoning-based question answering. VANESSA combines a logical reasoner with a neural textual entailment model to handle phrasing variations. Building on VANESSA, we develop a transparent, logic-based approach to answer natural language questions even with phrase variations. Our experiments across various datasets show our method is competitive with the state of the art, while also delivering proof trees for its answers. A demo interface allows users to interact with the system.","doi":"10.24963/ijcai.2026/989","url":"https://ijcai.org/proceedings/2026/989","pdf":"https://ijcai.org/proceedings/2026/0989.pdf","markdown":"https://ijcai.org/proceedings/2026/989.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/989","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Demo Track","track":"Demo Track","number":989,"pages":{"first":8501,"last":8504},"keywords":["AI: Natural Language Processing","AI: Knowledge Representation and Reasoning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}