arXiv Machine Learning By Jingyi Chen, Xinyuan Zhang, Xinwu Qian

Neural Certificate Pricing for Combinatorial Optimization Problems

Read the original on arXiv Machine Learning →

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

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

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