TY  - RPRT
TI  - Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
AU  - Seewoo Lee
AU  - Byung-Hak Hwang
AU  - Hyojae Lim
AU  - Jihoon Hyun
AU  - Ilkyoo Choi
AU  - Yeachan Park
AU  - Jineon Baek
AU  - Hyukpyo Hong
AU  - Keewoo Lee
AU  - Jaeseong Heo
AU  - Hyungryul Baik
AU  - Chul-hee Lee
AU  - Kyu-Hwan Lee
PY  - 2026
UR  - https://arxiv.org/abs/2606.02588
ID  - 2606.02588
ER  -