Uncertainty Quantification for Auto Formalization [NeurIPS 2025] -> Uncertainty Quantification for Auto Formalization [NeurIPS 2025] Since the given title is already properly formatted according to the given rules (acronyms in ALL CAPS, proper nouns and the first and last words capitalized, and the rest of the title case rules followed), the output will be the same as the input. Uncertainty Quantification for Auto Formalization [NeurIPS 2025]