NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, Peng Gao
- Anthology ID:
- 2026.findings-eacl.317
- Volume:
- Findings of the Association for Computational Linguistics: EACL 2026
- Month:
- March
- Year:
- 2026
- Address:
- Rabat, Morocco
- Editors:
- Vera Demberg, Kentaro Inui, Lluís Marquez
- Venue:
- Findings
- SIG:
- Publisher:
- Association for Computational Linguistics
- Note:
- Pages:
- 6035–6051
- Language:
- URL:
- https://preview.aclanthology.org/ingestion-form-platform/2026.findings-eacl.317/
- DOI:
- 10.18653/v1/2026.findings-eacl.317
- Cite (ACL):
- Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, and Peng Gao. 2026. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models. In Findings of the Association for Computational Linguistics: EACL 2026, pages 6035–6051, Rabat, Morocco. Association for Computational Linguistics.
- Cite (Informal):
- NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models (Putra et al., Findings 2026)
- PDF:
- https://preview.aclanthology.org/ingestion-form-platform/2026.findings-eacl.317.pdf