Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

1 points| barthelomew | 3 months ago |github.com