• Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models View PDF HTML (experimental)Abstract:Automated reasoning is critical in domains such as law and governance, where verifying claims against facts in documents requires both accuracy and interpretability. • Recent work adopts structured reasoning pipelines that translate natural language into first-order logic and delegate inference to automated solvers. • With the rise of large language models, approaches such as GCD and CODE4LOGIC leverage their reasoning and code generation capabilities to improve logic parsing. • However, these methods suffer from fragile syntax control due to weak enforcement of global grammar constraints and low semantic faithfulness caused by insufficient clause-level semantic understanding. • We propose NL2LOGIC, a first-order logic translation framework that introduces an abstract syntax tree as an intermediate representation. • NL2LOGIC combines a recursive large language model based semantic parser with an abstract syntax tree guided generator that deterministically produces solver-ready logic code.
Article Summaries:
- Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models View PDF HTML (experimental)Abstract:Automated reasoning is critical in domains such as law and governance, where verifying claims against facts in documents requires both accuracy and interpretability. Recent work adopts structured reasoning pipelines that translate natural language into first-order logic and delegate inference to automated solvers. With the rise of large language models, approaches such as GCD and C
Sources: