Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning | Signal Canvas | ScienceToStartup