M. Pawan Kumar

1. Mathematical discoveries from program search with large language models
   2023/12/14 by Bernardino Romera-Paredes, Bernardino Romera‐Paredes, Mohammadamin Barekatain +11 · 297 citations
   Computer Science · #Computability, Logic, AI Algorithms #Artificial Intelligence in Games #Algorithms and Data Compression
2. Learning to superoptimize programs
   2016/11/06 by Rudy Bunel, Alban Desmaison, Bunel, Rudy +8 · 1 voice · 7 citations
   Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.LG
3. AlphaEvolve: A coding agent for scientific and algorithmic discovery
   2025/06/16 by Alexander Novikov, Nhat Vu, Ngân Vũ +38 · 2 voices · 212 citations
   Decision Sciences · #Scientific Computing and Data Management
4. In Defense of the Unitary Scalarization for Deep Multi-Task Learning
   2022/01/11 by Vitaly Kurin, Alessandro De Palma, Kurin, Vitaly +7 · 11 citations
   Computer Science · Decision Sciences · Engineering · #Advanced Bandit Algorithms Research #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Sparse and Compressive Sensing Techniques #Stochastic Gradient Optimization Techniques
5. Improved Branch and Bound for Neural Network Verification via Lagrangian\n Decomposition
   2021/04/14 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +12 · 8 citations
   Computer Science · Materials Science · Physics and Astronomy · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning in Materials Science #Model Reduction and Neural Networks
6. Expressive Losses for Verified Robustness via Convex Combinations
   2023/05/23 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +9 · 8 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
7. Make Sure You're Unsure: A Framework for Verifying Probabilistic\n Specifications
   2021/02/18 by Leonard Berrada, Sumanth Dathathri, Berrada, Leonard +14 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
8. Efficient Error Certification for Physics-Informed Neural Networks
   2023/05/17 by Francisco Eiras, Eiras, Francisco, Adel Bibi +9 · 4 citations
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Mathematical Physics (math-ph) #Model Reduction and Neural Networks #Neural Networks and Applications
9. IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
   2022/06/29 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +7 · 3 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
10. Lookback for Learning to Branch
    2022/06/30 by Prateek Gupta, Gupta, Prateek, Elias B. Khalil +11 · 2 citations
    Computer Science · Decision Sciences · #Advanced Graph Neural Networks #Bayesian Modeling and Causal Inference #Multi-Criteria Decision Making