Scholar
Simon Park
Google Scholar ID: kyIuB_MAAAAJ
Princeton University
Large Language Models
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
45
H-index
3
i10-index
2
Publications
4
Co-authors
8
list available
Contact
No contact links provided.
Publications
5 items
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
2026
Cited
0
How Does RL Post-training Induce Skill Composition? A Case Study on Countdown
2025
Cited
0
Generalizing from SIMPLE to HARD Visual Reasoning: Can We Mitigate Modality Imbalance in VLMs?
2025
Cited
0
Instruct-SkillMix: A Powerful Pipeline for LLM Instruction Tuning
arXiv.org · 2024
Cited
6
AI-Assisted Generation of Difficult Math Questions
arXiv.org · 2024
Cited
6
Resume (English only)
Co-authors
8 total
Sanjeev Arora
Professor of Computer Science, Princeton University
Dingli Yu
OpenAI
Kaifeng Lyu
Tsinghua University
Co-author 4
Yinghui He
PhD student, Princeton University
Abhishek Panigrahi
Graduate Student, Princeton University
Yun Cheng
Princeton University
Simran Kaur
Ph.D. Student, Princeton University
