#线性边界传播

把神经网络验证里的边界传播搬到通用优化求解上，一个 GPU 版全局求解器，505 道题解出 421 道，比 Gurobi 和 BARON 还多解出 16 道它们认证不了的题。做运筹优化或依赖求解器的团队可以看看这条新路线。