Benchmark Almanac

HRM8K-KSM

K-EXAONE 2.0 91.1% leads since Jul 2026 Fading

Models solve the 1,428 problems of the Korean School Math subset of HRM8K. Problems come from Korean olympiad and competition exams.

Scores differ from the full HRM8K average. LG EXAONE cards report this subset as KSM.

In the authors’ words

Large language models (LLMs) demonstrate exceptional performance on complex reasoning tasks. However, despite their strong reasoning capabilities in high-resource languages (e.g., English and Chinese), a significant performance gap persists in other languages. To investigate this gap in Korean, we introduce HRM8K, a benchmark comprising 8,011 English-Korean parallel bilingual math problems. Through systematic analysis of model behaviors, we identify a key finding: these performance disparities stem primarily from difficulties in comprehending non-English inputs, rather than limitations in reasoning capabilities. Based on these findings, we propose UST (Understand, Solve, and Translate), a method that strategically uses English as an anchor for reasoning and solution generation. By fine-tuning the model on 130k synthetically generated data points, UST achieves a 10.91% improvement on the HRM8K benchmark and reduces the multilingual performance gap from 11.6% to 0.7%. Additionally, we show that improvements from UST generalize effectively to different Korean domains, demonstrating that capabilities acquired from machine-verifiable content can be generalized to other areas. We publicly release the benchmark, training dataset, and models.

Abstract of Understand, Solve and Translate: Bridging the Multilingual Mathematical Reasoning Gap (arXiv:2501.02448, CC0)
Made by HAE-RAE and OneLineAI (Hyunwoo Ko et al.) Released Jan 2025 Competition problems with answers All tasks public Last in a launch post Jul 2026 , dropped after it saturated Last model added Aug 2026
Level
Competition The strongest students, in olympiad-style contests
Scored
Checked automatically A program checks the result against an answer key, unit tests or the expected final state.
Answers
Short answer A number, word or short string matched to a key.
2
Models scored in lab cards
2
Launch posts list it, from 1 lab
2
System cards report it, from 1 lab

K-EXAONE 2.0 leads with 91.1%

Best score per model as labs report them in their own cards. Labs pick their own settings, so these compare less cleanly than independent runs.

  1. 1 K-EXAONE 2.0 91.1%
  2. 2 EXAONE 4.0 32B 87.6%
#ModelScoreSettingDateSource
1 K-EXAONE 2.0 91.1% Jul 2026 Model card
2 EXAONE 4.0 32B 87.6% Jul 2025 Model card

2 models have held number one since its release in Jan 2025

Lab claims count from the day the card came out, independent runs from the model’s release.

LG AI Research
Lab claims Passed 85% in Jul 2025, by EXAONE 4.0 32B
K-EXAONE 2.0 91.1%

The best score passed 85% in Jul 2025

All the scores we have, one dot each, so a model tested at several settings appears more than once.

Reported by the lab in its model card Best so far
0% 20% 40% 60% 80% 100% 2026 Near the ceiling (85%) K-EXAONE 2.0 EXAONE 4.0 32B 0% 20% 40% 60% 80% 100% 2026 Near the ceiling (85%) K-EXAONE 2.0 EXAONE 4.0 32B

Labs headline it less often now, last in Jul 2026

Launch posts from every lab that has listed it, one tick per post. Tall colored ticks include it, and short gray ones leave it out.

LG AI Research
DateLaunch postScoreAs the post writes it
31 Jul 2026 K-EXAONE 2.0 91.1 HRM8K-KSM
15 Jul 2025 EXAONE 4.0 32B 87.6 KSM (reasoning)

2 system cards report it, from 1 lab

Besides launch posts, we read the system cards, model cards and technical reports labs publish with a release. They report far more, including safety and frontier-risk tests.

DateDocumentScoreAs the document writes itSection
5 Aug 2026 K-EXAONE 2.0 technical report 91.1 HRM8K-KSM (Table 6, Reasoning mode) Capabilities
15 Jul 2025 EXAONE 4.0 32B technical report 87.6 KSM (KO), the Korean School Math subset of HRM8K (Table 3, Reasoning). Non-reasoning 59.8 (Table 4) Capabilities

More in Math

All 105 in Math
  • IMO-AnswerBench In use 400 olympiad problems with short verifiable answers, robustified against memorization. Scored by answer match. GLM-5.2 91%
  • AIME 2026 In use Models solve the 30 integer-answer problems from the 2026 AIME I and II math competitions. Scored by exact answer match. GPT-5.5 100%
  • HMMT 2026 In use Models solve the 33 final-answer problems from the February 2026 Harvard-MIT Mathematics Tournament. Scored by exact answer match. GPT-5.5 98.5%
  • MathArena (Apex, IMO, USAMO) In use Evaluates models on newly released math competitions after release. Final-answer or human/LLM-judged proof scores. Claude Opus 4.8 81.3%
  • PolyMath In use Models solve 9,000 parallel math problems in 18 languages across four difficulty levels, from school math to frontier math. Final answers are checked. Qwen3.7-Max 86.5%
  • USAMO 2026 In use Models write full proofs for the six problems of the 2026 USA Mathematical Olympiad. Judges grade each proof from 0 to 7 against rubrics. GPT-5.5 98.2%