Chandra, Kartik

1. SPoC: Search-based Pseudocode to Code
   2019/06/12 by Sumith Kulal, Panupong Pasupat, Kulal, Sumith +11 · 40 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. Gradient Descent: The Ultimate Optimizer
   2019/09/29 by Kartik Chandra, Chandra, Kartik, Audrey Xie +5 · 2 voices
   #cs.LG #stat.ML
3. Building Machines that Learn and Think with People
   2024/07/22 by Katherine M. Collins, Collins, Katherine M., Ilia Sucholutsky +23 · 28 citations
   Computer Science · Social Sciences · #AI in Service Interactions #Ethics and Social Impacts of AI
4. How to guess a gradient
   2023/12/07 by Utkarsh Singhal, Singhal, Utkarsh, Brian Cheung +11 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #cs.LG #cs.NE
5. Bonsai: Synthesis-Based Reasoning for Type Systems
   2017/08/01 by Kartik Chandra, Rastislav Bodik, Chandra, Kartik +1 · 1 voice
   #cs.PL