Uncertainty Quantification for Auto Formalization [NeurIPS 2025] #1 Post by barthelomew » Sat, Nov 29, 2025, 4:00 AM UTC Uncertainty Quantification for Auto Formalization [NeurIPS 2025]github.com