#auto-formalization

Draft-and-Prune Method Enhances Auto-formalization in Logical Reasoning

The Draft-and-Prune method aims to improve the reliability of auto-formalization (AF) processes for logical deduction, addressing existing challenges in the field.