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