作者位次 #5/7ACL 2026Findings· Findings of ACL
LSEG : A Fine-tuning Free Method for NL 2 FOL via Logic-Structure and Entropy Guided Inference Controlling
Yuwei Huang · Shi Wang · Kangli Zi · Tianyu Luo · Jiang Zhixiao · Ruiheng Wang · Yufei Wang
摘要
Large language models have shown strong generative and reasoning capabilities, yet they still struggle with natural language to first order logic (NL2FOL) translation due to logical hallucination. We propose LSEG (Logic Structure and Entropy Guided), a fine-tuning free framework designed to impro...