Papers by Junehyuk Jung

GenGO

Omakase Read Later

Search

Papers by Junehyuk Jung

EMNLP

2025.emnlp-main

non-Gemini models
Gemini reasoning
IMO-GradingBench
mathematical reasoning capabilities of
Olympiad problems
proof-writing capabilities
IMO problems
automatic grading
automatic evaluation of long-form answers
robust mathematical reasoning

2025

Reasoning

1 papers

Towards Robust Mathematical Reasoning (2025.emnlp-main)

Copied to clipboard

Thang Luong, Dawsen Hwang, Hoang H Nguyen, Golnaz Ghiasi, Yuri Chervonyi, Insuk Seo, Junsu Kim, Garrett Bingham, Jonathan Lee, Swaroop Mishra, Alex Zhai, Huiyi Hu, Henryk Michalewski, Jimin Kim, Jeonghyun Ahn, Junhwi Bae, Xingyou Song, Trieu Hoang Trinh, Quoc V Le, Junehyuk Jung

Challenge:	IMO-Bench is a suite of advanced reasoning benchmarks that targets the international mathematical Olympiad level.
Approach:	They propose IMO-Bench, a suite of advanced reasoning benchmarks that targets the level of the international mathematical Olympiad.
Outcome:	IMO-Bench is a suite of advanced reasoning benchmarks that targets the level of the international mathematical Olympiad.

What is GenGO?

GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

Information

About
Limitations