Uncertainty Quantification for Auto Formalization [NeurIPS 2025] | Not Hacker News!