@misc{indiciaeddcac8242c0e,
  title = {Lean-GAP: A Dataset of Formalized Graduate Algebra Problems},
  author = {Seewoo Lee and Byung-Hak Hwang and Hyojae Lim and Jihoon Hyun and Ilkyoo Choi and Yeachan Park and Jineon Baek and Hyukpyo Hong and Keewoo Lee and Jaeseong Heo and Hyungryul Baik and Chul-hee Lee and Kyu-Hwan Lee},
  year = {2026},
  url = {https://arxiv.org/abs/2606.02588},
  note = {Source identifier: 2606.02588}
}