TY  - RPRT
TI  - Transformed in Translation: Two-Stage Structural Uncertainty in LLM-Based Scientific Autoformalization
AU  - Andre Panossian
PY  - 2026
UR  - https://arxiv.org/abs/2609.14808
ID  - 2609.14808
ER  -