TY  - RPRT
TI  - NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
AU  - Rizky Ramadhana Putra
AU  - Raihan Sultan Pasha Basuki
AU  - Yutong Cheng
AU  - Peng Gao
PY  - 2026
DO  - 10.18653/v1/2026.findings-eacl.317
UR  - https://arxiv.org/abs/2602.13237
ID  - 2602.13237
ER  -