![[2602.13237] NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models](https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png){kind=logo}
[2602.13237] NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
Summary
NL2LOGIC presents a novel framework for translating natural language into first-order logic using large language models, enhancing accuracy and semantic correctness in automated reasoning tasks.
Why It Matters
This research addresses critical challenges in automated reasoning, particularly in fields like law and governance, where precision is paramount. By improving the translation of natural language to logic, NL2LOGIC enhances the reliability of automated systems in interpreting complex documents and claims.
Key Takeaways
- NL2LOGIC introduces an abstract syntax tree for improved logic translation.
- Achieves 99% syntactic accuracy and up to 30% better semantic correctness over existing methods.
- Integration with Logic-LM significantly boosts reasoning accuracy by 31%.
Computer Science > Artificial Intelligence arXiv:2602.13237 (cs) [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Authors:Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, Peng Gao View a PDF of the paper titled NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models, by Rizky Ramadhana Putra and 3 other authors 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. Ex...
