arXiv Machine Learning

Neural Certificate Pricing for Combinatorial Optimization Problems

arXiv:2607. 01185v1 Announce Type: new Abstract: Combinatorial optimization (CO) problems are difficult because certifiable discrete structure induces exponential search.

arXiv Machine Learning
5d ago

NeuralCert: certified computational discovery of extremal mathematical constructions

NeuralCert presents a framework that learns high‑dimensional variational trial functions in a compact separable form, then spectrally diagnoses, prunes, and exactly certifies them via multimodular evaluation. The method is fully explicit and independently verifiable, and can run on a standard personal computer. Applied to three extremal problems, it demonstrates that neural optimization can discover better constructions, reveal empirical invariants useful for proofs, and expose optimization barriers that inspire new analytic or numerical approaches.

By Mark Patrick Roeling
arXiv AI
Aug 28

CG4AI: A Column Generation Framework for Training AI Models Under Constraints

CG4AI is a column generation framework that trains AI models while enforcing linear constraints on their outputs. It constructs a convex combination of models, using a master linear program to set mixture weights and a pricing subproblem to generate new models guided by dual variables, focusing on the most violated constraints. The method is applied to MNIST digit classification—demonstrating constraint learning, adversarial robustness, error correction, and output relabeling—and to multi‑commodity flow routing, achieving feasible predictors with higher accuracy than single‑model baselines.

By Youcef Magnouche, Abderrahmane Driouch, S\'ebastien Martin, Pierre Bauguion
arXiv Machine Learning
Jun 15

Neural Slack Variables for Shape Constraints

arXiv:2606. 13803v1 Announce Type: new Abstract: Enforcing functional inequality constraints such as monotonicity and convexity in neural networks is a fundamental challenge in many industrial and scientific applications.

By Ruben Wiedemann, Antoine Jacquier, Lukas Gonon