Sidhu, Jasdeep
- Humanity's Last Exam
2025/01/24 by Long Phan, Alice Gatti, Phan, Long +2240 · 9 voices · 152 citations
Computer Science · #cs.LG #cs.AI #cs.CL
- An Evaluation Benchmark for Autoformalization in Lean4
2024/06/01 by Gulati, Aryan, Ladsaria, Devanshu, Mishra, Shubhra +2 · 2 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)