TY  - RPRT
TI  - ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization
AU  - Feiming Wang
AU  - Daibo Li
AU  - Kun Yuan
PY  - 2026
UR  - https://arxiv.org/abs/2609.34960
ID  - 2609.34960
ER  -