AST

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models