Get started
Author

Simon Park

Observed name: Park, Simon
Observed institution: Princeton University
OpenAlex ID: A5137918282
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
2026 · Chung, Jui-Hui, Cai, Ziyang, et al. · arXiv (Cornell University) · 11
PDF
Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean
2026 · Ortega, Tomas, Park, Simon, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count: 11
H-index: 1
I10-index: 1
Year
Topic
Type