Rebuild verification from full-scale runs: 4 claims VERIFIED, 2 BLOCKED (honest) 4370027 verified DineshAI commited on 5 days ago
Update logbook: Repro - Last-iterate Convergence of ADMM on Multi-affine Quadratic Equality Constrained Problem 932c9f7 verified DineshAI commited on 7 days ago