--- title: Certified GPU Numerics: Every Answer Carries a Checkable Certificate: and Where It Costs | SpinForge url: https://spin-forge.com/proof/s10 description: 0: failed certificate verifications. Conic LP/QP/SOCP, Optimal Transport, Assignment, Krylov CG, MDP Value Iteration and Exact Counting, Each Against Its… --- GARMO SOLVERS · S10 # Certified GPU Numerics: Every Answer Carries a Checkable Certificate: and Where It Costs Conic LP/QP/SOCP, Optimal Transport, Assignment, Krylov CG, MDP Value Iteration and Exact Counting, Each Against Its Reference Solver. 0 failed certificate verifications 6 of 22 DOTmark instances faster than ot.emd 10⁻⁸ certified CG residual, every Poisson run LOSS on time vs the reference solvers - Every conic claim re-verified exactly (0 failures), but LOSS on time on every suite - CertOT: faster than ot.emd on 6 of 22 DOTmark instances; JV slower than scipy - Exact counts agree with OEIS / independent recounts on every run [Request the full poster by email](https://spin-forge.com/contact?product=portfolio&brief=Please%20send%20the%20full%20poster%3A%20Certified%20GPU%20Numerics%3A%20Every%20Answer%20Carries%20a%20Checkable%20Certificate%3A%20and%20Where%20It%20Costs%20%28S10%29.%0A%0AOur%20organization%20and%20intended%20use%3A%0A) ## More garmo solvers benchmark results - [Proof-Carrying Max-Cut on a GH200: 67 Biq Mac Optima Proved vs HiGHS's 49](https://spin-forge.com/proof/s01) - [Weighted MaxSAT on a GH200: From 14/33/50 to 33/38/26 Against NuWLS-c-IBR](https://spin-forge.com/proof/s02) - [Large-Instance TSP on 16 Arm Cores: 0.692 % 0.165 % Mean Gap, Still Behind LKH-3](https://spin-forge.com/proof/s03) - [A Native QCDCL Solver vs DepQBF: From 0 vs 4 to a 15–15 Tie, Then 15 vs 18 on Fresh Instances](https://spin-forge.com/proof/s04) - [Vehicle Routing vs PyVRP: a C++ Solver Wins 37/26/21 at Equal Budget](https://spin-forge.com/proof/s05) - [ISPD98 Bisection: Our Partitioner Beats KaHyPar and mt-KaHyPar at Equal Budget](https://spin-forge.com/proof/s06) - [An Evidence-Driven Solver Router: Regret 0.046 vs 0.190 for the Best Single Backend](https://spin-forge.com/proof/s07) - [A Verified MIP Race: HiGHS, SCIP and GPU Primal Heuristics Against cuOpt on MIPLIB 2017](https://spin-forge.com/proof/s08) - [Constraint Programming in C++: 39 of 40 Schedules Proved Optimal vs CP-SAT's 20](https://spin-forge.com/proof/s09) - [LABS on a GH200: Exponent 1.24 to the Proven Optimum, Beside the QAOA Exponents](https://spin-forge.com/proof/s11) - [UNISOLVE 0.16.1: One Solver Platform, 13 Problem Domains, Every Answer Checked](https://spin-forge.com/proof/s12) - [Four Certified Builds: Toroidal Proofs, Unroutability Certificates, CertBQP and a 235× Batch Service](https://spin-forge.com/proof/s13) [All results, charts and papers](https://spin-forge.com/proof) Results describe the stated inputs, hardware and conditions and are not a guarantee of results in your environment. See the [Terms of Use](https://spin-forge.com/terms).