{
  "title": "Certificate-Guided Pruning for Stochastic Lipschitz Optimization",
  "orid": "9CqZoRWpoc",
  "space_id": "neonforestmist/repro-certificate-guided-pruning",
  "forecast": "12/12",
  "repair": "claim-faithful-v3",
  "repaired_at": "2026-07-27T18:59:57.951279+00:00",
  "pages": [
    "01-certificate-guided-pruning-cgp-maintains-explici",
    "02-margin-condition-near-optimality-dimension-assum",
    "03-cgp-optimality-probability-least-log",
    "04-matching-lower-bound-any-algorithm",
    "05-cgp-adaptive-learns-lipschitz-constant-online",
    "06-cgp-tr-trust-region-variant-scales-dimension",
    "conclusion"
  ],
  "artifacts": [
    "evidence/claim_1.json",
    "evidence/claim_2.json",
    "evidence/claim_3.json",
    "evidence/claim_4.json",
    "evidence/claim_5.json",
    "evidence/claim_6.json"
  ],
  "cpu_only": true
}