arXiv preprint / cs.AI

ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization

作者：Feiming Wang, Daibo Li, Kun Yuan · 会议/期刊：arXiv preprint · 方向：cs.AI · 发布日期：2026-09-29

2026-09-29优化算法学习理论
新标签打开 AlphaXiv新标签打开 Code
ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization figure
AlphaXiv 中文概览（可滚动查看）