Sang-hyun Kim

1. Towards Autonomous Mathematics Research
   2026/02/10 by Tony Feng, Trieu H. Trinh, Garrett Bingham +25 · 19 voices · 2 citations
   #cs.LG #cs.AI #cs.CL #cs.CY
2. Aletheia tackles FirstProof autonomously
   2026/02/24 by Tony Feng, Junehyuk Jung, Sang-hyun Kim +14 · 5 voices · 1 citation
   #cs.AI #cs.CL #cs.LG
3. Small growth rates of free groups
   2026/07/20 by Koji Fujiwara, Sang-hyun Kim, Ryokichi Tanaka
   #math.GR