Get started
Author

Allan Jie

Observed name: Jie, Allan
OpenAlex ID: A5120854318
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
2025 · Chen, Jiangjie, Chen, Wenxiang, et al. · arXiv (Cornell University) · 1
PDF
Solving Formal Math Problems by Decomposition and Iterative Reflection
2025 · Zhou, Yichi, Zhao, Jianqiu, et al. · arXiv (Cornell University)
PDF
Works count: 3
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type