Mike He

1. Humanity's Last Exam
   2025/01/24 by Long Phan, Phan, Long, Alice Gatti +2240 · 9 voices · 165 citations
   Computer Science · #cs.LG #cs.AI #cs.CL
2. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
   2022/03/01 by Bo-Yuan Huang, Steven Lyubomirsky, Huang, Bo-Yuan +23 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL) #cs.AR #cs.PL
3. Dynamic Tensor Rematerialization
   2020/06/17 by Marisa Kirisame, Steven Lyubomirsky, Kirisame, Marisa +13 · 3 citations
   Computer Science · Mathematics · #C.3 #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #cs.LG #cs.PL #stat.ML