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
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
Co-authors
7 total
Sanjeev Arora
Professor of Computer Science, Princeton University
Dingli Yu
OpenAI
Kaifeng Lyu
Tsinghua University
Yinghui He
PhD student, Princeton University
Abhishek Panigrahi
Graduate Student, Princeton University
Yun Cheng
Princeton University
Simran Kaur
Ph.D. Student, Princeton University
