42 citations · 59 across the 8 of their papers we have counts for
8 papers
Laguna M.1/XS.2 Technical Report
Julien Abadji, Marah Abdin, Connor Adams +93
We present Laguna M.1 and Laguna XS.2, two Mixture-of-Experts foundation models built for long-horizon, agentic coding: M.1 has B total parameters (B activated per tok…
Optimizing Memory Mapping Using Deep Reinforcement Learning
Pengming Wang, Mikita Sazanovich, Berkin Ilbeyi +16
Resource scheduling and allocation is a critical component of many high impact systems ranging from congestion control to cloud computing. Finding more optimal solutions to these p…
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs
Nicolas Sonnerat, Pengming Wang, Ira Ktena +2
Large Neighborhood Search (LNS) is a combinatorial optimization heuristic that starts with an assignment of values for the variables to be optimized, and iteratively improves it by…
Solving Mixed Integer Programs Using Neural Networks
Vinod Nair, Sergey Bartunov, Felix Gimeno +16
Mixed Integer Programming (MIP) solvers rely on an array of sophisticated heuristics developed with decades of research to solve large-scale MIP instances encountered in practice.…
The pebbling comonad in finite model theory
Samson Abramsky, Anuj Dawar, Pengming Wang
Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which ar…
Lasserre Lower Bounds and Definability of Semidefinite Programming
Anuj Dawar, Pengming Wang
For a large class of optimization problems, namely those that can be expressed as finite-valued constraint satisfaction problems (VCSPs), we establish a dichotomy on the number of…