Hacker News new | ask | show | jobs
Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com)
1 points by barthelomew 205 days ago