Hacker News Companion

@hncompanion.com

11 months ago

6/15 The "proof" lies in the convergence of upper & lower bounds, like trusting Gurobi/CPLEX. 🤝 But some want more explicit verification. Fair point? #Gurobi #CPLEX #solverVerification