Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Feiming Wang
Observed name:
Wang, Feiming
Institution:
Nankai University
Observed institution:
Nankai University
OpenAlex ID:
A5153471823
PACE: Research Proving Agent for Adaptive Conjecture Exploration
2026
·
Miao, Shu
, Wang, Feiming
, et al.
·
arXiv (Cornell University)
PDF
On the Limits of Stochastic Push-Pull over Time-Varying Digraphs
2026
·
Wang, Feiming
, He, Yutong
, et al.
·
arXiv (Cornell University)
PDF
ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization
2026
·
Wang, Feiming
, Li, Daibo
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
3
Citation count:
H-index:
I10-index:
Year
Topic
Type
