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

Browse the full EACL paper archive.