3 ms·Uncertainty Quantification for Auto Formalization [NeurIPS 2025]1 points by barthelomew 10mo ago