Wang, Pengming

1. Solving Mixed Integer Programs Using Neural Networks
   2020/12/23 by Vinod Nair, Sergey Bartunov, Nair, Vinod +35 · 25 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Imbalanced Data Classification Techniques #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification #Neural and Evolutionary Computing (cs.NE) #Optimization and Control (math.OC)
2. Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
   2021/07/21 by Nicolas Sonnerat, Pengming Wang, Sonnerat, Nicolas +7 · 9 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification #Multimodal Machine Learning Applications #Optimization and Control (math.OC) #Optimization and Search Problems
3. From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
   2013/01/21 by Mehlhorn, Kurt, Sagraloff, Michael, Wang, Pengming · 2 citations
   #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
4. The pebbling comonad in finite model theory
   2017/04/17 by Abramsky, Samson, Dawar, Anuj, Wang, Pengming · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)