2 ms·AST-Guided Translation of Natural Language into First-Order Logic with LLMs2 points by PaulHoule 9mo ago