AST-Guided Translation of Natural Language into First-Order Logic with LLMs

• Posted 10 hours ago by PaulHoule
• 2 points