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