vix.ing · top · new · best · stats

Chul-hee Lee

  1. Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
    2026/05/20 by Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10 · 1 voice
    Computer Science · #cs.LO #cs.AI #cs.PL