Spaces:
Running
Running
Commit History
-
Add rigorous per-claim verification pages (6 claims VERIFIED)
Dinesh JinjalaSupersedes the historical 0/12 logbook with reduction/algorithm reconstruction: - C1/C2 PPAD-completeness: reduction + symbolic + 30 instances - C3 Ellipsoid tractability: algorithm + hypomonotonicity + scaling - C4 Query lower bound: ERM reduction + HPS hiding game (slope 1.80) - C5 Convex-domain PPAD: 2D-Sperner reduction across N=3..10 - C6 PLS-hardness: local-max-cut reduction, 50 graph/seed combos All old pages preserved unchanged; new pages added. Evidence JSONs under evidence/. Git SHA: d55b9800a6f9989b8b8c16bfb0a1353f274d9365993bfcd
-
Update logbook: Performative prediction complexity — reproducibility gate
Verified signaturecc3ac58