NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models - researchr publication

researchr

You are not signed in
Sign in
Sign up

Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, Peng Gao. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models. In Vera Demberg, Kentaro Inui, Lluís Marquez, editors, Findings of the Association for Computational Linguistics: EACL 2026, Rabat, Morocco, March 24-29, 2026. pages 6035-6051, Association for Computational Linguistics, 2026. [doi]

Abstract is missing.

runs on WebDSL