Manish Kumar
- Mathematical discoveries from program search with large language models
2023/12/14 by Bernardino Romera‐Paredes, Bernardino Romera-Paredes, Mohammadamin Barekatain +11 · 182 citations
Computer Science · #Computability, Logic, AI Algorithms #Artificial Intelligence in Games #Algorithms and Data Compression
- Learning to superoptimize programs
2016/11/06 by Rudy Bunel, Alban Desmaison, Bunel, Rudy +8 · 1 voice · 3 citations
Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.LG
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
2025/06/16 by Alexander Novikov, Nhat Vu, Ngân Vũ +38 · 2 voices · 163 citations
Decision Sciences · #Scientific Computing and Data Management
- Branch and Bound for Piecewise Linear Neural Network Verification
2019/09/14 by Rudy Bunel, Jingyue Lu, Bunel, Rudy +9 · 10 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Testing and Debugging Techniques
- Training Neural Networks for and by Interpolation
2019/06/13 by Leonard Berrada, Andrew Zisserman, Berrada, Leonard +3 · 6 citations
Computer Science · Physics and Astronomy · #Neural Networks and Applications #Stochastic Gradient Optimization Techniques #Model Reduction and Neural Networks
- A Statistical Approach to Assessing Neural Network Robustness
2018/11/17 by Stefan Webb, Tom Rainforth, Webb, Stefan +5 · 4 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
- Robust Deep Reinforcement Learning for Quadcopter Control
2021/11/06 by Aditya M. Deshpande, Deshpande, Aditya M., Ali A. Minai +3 · 1 voice · 1 citation
Computer Science · Engineering · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #cs.AI #cs.LG #cs.RO #eess.SY #electronic engineering #information engineering #math.OC
- Smooth Loss Functions for Deep Top-k Classification
2018/02/21 by Leonard Berrada, Berrada, Leonard, Andrew Zisserman +3 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms
- ANCER: Anisotropic Certification via Sample-wise Volume Maximization
2021/07/09 by Francisco Eiras, Motasem Alfarra, Eiras, Francisco +11 · 2 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
- RETRACTED: Biochar modulating soil biological health: A review
2023/12/27 by Shiv Bolan, Shailja Sharma, Santanu Mukherjee +16 · 1 voice · 3 citations
Agricultural and Biological Sciences · Environmental Science · Materials Science · #Soil Carbon and Nitrogen Dynamics #Microbial Community Ecology and Physiology #Clay minerals and soil interactions
- Mambular: A Sequential Model for Tabular Deep Learning
2024/08/12 by Anton Frederik Thielmann, Manish Kumar, Thielmann, Anton Frederik +9 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Motion and Animation #Machine Learning (cs.LG) #Machine Learning and Data Classification
- Lagrangian Decomposition for Neural Network Verification
2020/02/24 by Rudy Bunel, Alessandro De Palma, Bunel, Rudy +11 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Advanced Memory and Neural Computing
- DeepCPG Policies for Robot Locomotion
2023/02/25 by Aditya M. Deshpande, Eric Hurd, Ali A. Minai +1 · 1 voice
Biochemistry, Genetics and Molecular Biology · Engineering · #Insect and Arachnid Ecology and Behavior #Robotic Locomotion and Control #cs.AI #cs.LG #cs.NE #cs.RO #eess.SY
- Neural Network Branch-and-Bound for Neural Network Verification
2021/07/27 by Florian Jaeckle, Jingyue Lu, Jaeckle, Florian +3 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Security and Verification in Computing
- Make Sure You're Unsure: A Framework for Verifying Probabilistic\n Specifications
2021/02/18 by Leonard Berrada, Sumanth Dathathri, Berrada, Leonard +14 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
- Designer polyradical nanographenes with strong spin entanglement and perturbation resilience via Clar's goblet extension
2025/06/05 by En Li, Li, En, Manish Kumar +22 · 1 voice · 3 citations
Chemistry · Materials Science · Engineering · #FOS: Physical sciences #Materials Science (cond-mat.mtrl-sci) #Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
- Scaling the Convex Barrier with Sparse Dual Algorithms
2021/01/14 by Alessandro De Palma, Harkirat Singh Behl, De Palma, Alessandro +7 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Sparse and Compressive Sensing Techniques #Machine Learning and Algorithms
- Investigating the orbital evolution of the eccentric HMXB GX 301-2 using long-term X-ray lightcurves
2023/10/04 by Hemanth Manikantan, Manikantan, Hemanth, Manish Kumar +5 · 1 citation
Earth and Planetary Sciences · Engineering · Physics and Astronomy · #Astrophysical Phenomena and Observations #FOS: Physical sciences #High Energy Astrophysical Phenomena (astro-ph.HE) #High-pressure geophysics and materials #Mechanics and Biomechanics Studies
- Magnetic Ground State Discrimination of a Polyradical Nanographene Using Nickelocene-Functionalized Tips
2025/04/09 by Diego Soler-Polo, Soler-Polo, Diego, Oleksandr Stetsovych +25 · 1 voice · 2 citations
Materials Science · Engineering · #Graphene research and applications #Molecular Junctions and Nanostructures #Magnetism in coordination complexes
- Pervasive spin-triplet superconductivity in rhombohedral graphene
2025/11/20 by Manish Kumar, Kumar, Manish, Derek Waleffe +15 · 2 citations
Materials Science · Physics and Astronomy · #2D Materials and Applications #FOS: Physical sciences #Graphene research and applications #Mesoscale and Nanoscale Physics (cond-mat.mes-hall) #Strongly Correlated Electrons (cond-mat.str-el) #Superconductivity (cond-mat.supr-con) #Topological Materials and Phenomena
- Intelligent Load Forecasting and Renewable Energy Integration for Enhanced Grid Reliability
2024/11/01 by Abhishek Saxena, Ravi Shankar, Ehab F. El-Saadany +4 · 1 citation
- Sources, distribution, stability and management of deep soil carbon in agricultural systems
2026/05/13 by Nanthi Bolan, Manish Kumar, Juhi Gupta +10 · 3 voices
Agricultural and Biological Sciences · Environmental Science · #CO2 Sequestration and Geologic Interactions #Peatlands and Wetlands Ecology #Soil Carbon and Nitrogen Dynamics
- The Advanced X-ray Imaging Satellite (AXIS) Community Science Book
2025/10/31 by Michael Koss, Nafisa Aftab, Koss, Michael +845 · 3 voices
Physics and Astronomy · #Astronomy and Astrophysical Research #Astrophysical Phenomena and Observations #Gamma-ray bursts and supernovae #astro-ph.CO #astro-ph.GA #astro-ph.HE #astro-ph.IM #astro-ph.SR
- Anomalous metal and superconducting phases in rhombohedral graphene
2026/07/30 by Anna Okounkova, Abigail Sohm, Tobias Faehndrich +7
Physics and Astronomy · #cond-mat.mes-hall #cond-mat.str-el #cond-mat.supr-con
- Three-dimensional field of view of remote focusing microscopy system
2026/07/22 by Dinesh Saini, Manish Kumar
#physics.optics