Co-occurring keywords · papers mentioning both
Papers
Efficient Bisection Projection to Ensure Neural-Network Solution Feasibility for Optimization over General Set
ICML 2025
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
ICML 2025
Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programs
ICML 2025
GenCO: Generating Diverse Designs with Combinatorial Constraints
ICML 2024
Inexact Newton-type Methods for Optimisation with Nonnegativity Constraints
ICML 2024
MILP-FBGen: LP/MILP Instance Generation with Feasibility/Boundedness
ICML 2024