Home » Tags

First-Order

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

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

• Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Research · February 17, 2026 (updated February 19, 2026) · 2 min · 250 words
NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

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

• Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Research & Labs · February 17, 2026 (updated February 24, 2026) · 2 min · 250 words