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 (EACL (Findings), 2026)