Author

Fei-Ming Wang

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

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

This work introduces ProofLoom, a fully automated LLM-agent system for Proof-Obligation-Driven Theory Construction, a fully automated LLM-agent system for Proof-Obligation-Driven Theory Construction that autonomously constructs the Lean model and supporting theory.

Fei-Ming Wang, Dai-Bo Li, Kun Yuan · 0 citations