Junehyuk Jung
2 papers
· 2025–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
👥
Mega-Team
(20)
Conferences
EMNLP (1)
JMLR (1)
Top co-authors
Keywords
theorem proving
(2)
symbolic reasoning
(1)
mathematical reasoning
(1)
language modeling
(1)
automated reasoning
(1)
synthetic data generation
(1)
language model
(1)
synthetic datum
(1)
proof generation
(1)
automatic grading
(1)
search tree
(1)
symbolic engine
(1)
international mathematical olympiad
(1)
proof writing
(1)
short answer evaluation
(1)
long-form answer evaluation
(1)
geometry solver
(1)
benchmark evaluation
(1)
olympiad problem
(1)