May 2024 Efficient Translation of Natural Language to First-Order Logic Using Step-by-Step Distillation