Singh, Rishabh
- SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution
2025/02/25 by Yuxiang Wei, Olivier Duchenne, Wei, Yuxiang +15 · 71 citations
Computer Science · #Software Engineering Research #Multi-Agent Systems and Negotiation
- RobustFill: Neural Program Learning under Noisy I/O
2017/03/21 by Devlin, Jacob, Uesato, Jonathan, Bhupatiraju, Surya +3 · 9 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Program Synthesis using Abstraction Refinement
2017/10/21 by Xinyu Wang, Işıl Dillig, Wang, Xinyu +3 · 7 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- Learn&Fuzz: Machine Learning for Input Fuzzing
2017/01/25 by Patrice Godefroid, Godefroid, Patrice, Hila Peleg +3 · 6 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques
- Automated Feedback Generation for Introductory Programming Assignments
2012/04/08 by Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando · 5 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Measuring The Impact Of Programming Language Distribution
2023/02/03 by Gabriel Orlanski, Orlanski, Gabriel, Kefan Xiao +14 · 9 citations
Computer Science · #Advanced Neural Network Applications #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Programming Languages (cs.PL) #Software Engineering Research
- Neuro-Symbolic Program Synthesis
2016/11/06 by Emilio Parisotto, Abdelrahman Mohamed, Parisotto, Emilio +9 · 5 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Oil and Gas Production Techniques #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- TerpreT: A Probabilistic Programming Language for Program Induction
2016/08/15 by Alexander L. Gaunt, Marc Brockschmidt, Gaunt, Alexander L. +11 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Deep Reinforcement Fuzzing
2018/01/14 by Böttinger, Konstantin, Godefroid, Patrice, Singh, Rishabh · 4 citations
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- SpreadsheetCoder: Formula Prediction from Semi-structured Context
2021/06/26 by Xinyun Chen, Chen, Xinyun, Petros Maniatis +11 · 4 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Spreadsheets and End-User Computing
- Robust Text-to-SQL Generation with Execution-Guided Decoding
2018/07/09 by Wang, Chenglong, Tatwawadi, Kedar, Brockschmidt, Marc +4 · 3 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Databases (cs.DB) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Not all bytes are equal: Neural byte sieve for fuzzing
2017/11/10 by Mohit Rajpal, William Blum, Rajpal, Mohit +3 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Neural Program Repair by Jointly Learning to Localize and Repair
2019/04/03 by Marko Vasić, Aditya Kanade, Vasic, Marko +7 · 5 citations
Computer Science · Engineering · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications #Software Engineering Research
- Synthesis of Data Completion Scripts using Finite Tree Automata
2017/07/05 by Xinyu Wang, Işıl Dillig, Wang, Xinyu +3 · 2 citations
Computer Science · #Machine Learning and Algorithms #Software Engineering Research #Logic, programming, and type systems
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
2018/05/11 by Bunel, Rudy, Hausknecht, Matthew, Devlin, Jacob +2 · 2 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- SyGuS-Comp 2018: Results and Analysis
2019/04/12 by Alur, Rajeev, Fisman, Dana, Padhi, Saswat +2 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration
2020/07/28 by Odena, Augustus, Shi, Kensen, Bieber, David +3 · 2 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)
- Synthetic Datasets for Neural Program Synthesis
2019/12/27 by Richard Shin, Shin, Richard, Neel Kant +11 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Dynamic Neural Program Embedding for Program Repair
2017/11/20 by Wang, Ke, Singh, Rishabh, Su, Zhendong · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Neural Program Meta-Induction
2017/10/11 by Jacob Devlin, Rudy Bunel, Devlin, Jacob +7 · 1 citation
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences
- Neural Program Synthesis with a Differentiable Fixer
2020/06/19 by Balog, Matej, Singh, Rishabh, Maniatis, Petros +1 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration
2020/11/10 by Dai, Hanjun, Singh, Rishabh, Dai, Bo +2 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)