Pengming Wang

14 papers A* 2B 2Journal 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
Mathematical discoveries from program search with large language models.
Nat.
Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan S. Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, Alhussein Fawzi
2023 J jnl
Optimizing Memory Mapping Using Deep Reinforcement Learning.
CoRR
Pengming Wang, Mikita Sazanovich, Berkin Ilbeyi, Phitchaya Mangpo Phothilimthana, Manish Purohit, Han Yang Tay, Ngân Vu, Miaosen Wang, Cosmin Paduraru, Edouard Leurent, Anton Zhernov, Julian Schrittwieser, Thomas Hubert, Robert Tung, Paula Kurylowicz, Kieran Milan, Oriol Vinyals, Daniel J. Mankowitz
2021 J jnl
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs.
CoRR
Nicolas Sonnerat, Pengming Wang, Ira Ktena, Sergey Bartunov, Vinod Nair
2020 J jnl
Solving Mixed Integer Programs Using Neural Networks.
CoRR
Vinod Nair, Sergey Bartunov, Felix Gimeno, Ingrid von Glehn, Pawel Lichocki, Ivan Lobov, Brendan O'Donoghue, Nicolas Sonnerat, Christian Tjandraatmadja, Pengming Wang, Ravichandra Addanki, Tharindi Hapuarachchi, Thomas Keck, James Keeling, Pushmeet Kohli, Ira Ktena, Yujia Li, Oriol Vinyals, Yori Zwols
2018 — —
Descriptive complexity of constraint problems.
Pengming Wang
2017 A* conf
Definability of semidefinite programming and lasserre lower bounds for CSPs.
LICS
Anuj Dawar, Pengming Wang
2017 A* conf
The pebbling comonad in Finite Model Theory.
LICS
Samson Abramsky, Anuj Dawar, Pengming Wang
2017 J jnl
The pebbling comonad in finite model theory.
CoRR
Samson Abramsky, Anuj Dawar, Pengming Wang
2016 J jnl
Lasserre Lower Bounds and Definability of Semidefinite Programming.
CoRR
Anuj Dawar, Pengming Wang
2015 B conf
A Definability Dichotomy for Finite Valued CSPs.
CSL
Anuj Dawar, Pengming Wang
2015 J jnl
A Definability Dichotomy for Finite Valued CSPs.
CoRR
Anuj Dawar, Pengming Wang
2015 J jnl
From approximate factorization to root isolation with application to cylindrical algebraic decomposition.
J. Symb. Comput.
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang
2013 J jnl
From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
CoRR
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang
2013 B conf
From approximate factorization to root isolation.
ISSAC
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang