Team Ai
Apppublic

neonforestmist/repro-certificate-guided-pruning

sourceHugging Faceupdated 3mo agoView on Hugging Face
0likes
App README

Certificate-Guided Pruning for Stochastic Lipschitz Optimization

  • —OpenReview: 9CqZoRWpoc
  • —Space: neonforestmist/repro-certificate-guided-pruning
  • —Forecast: 12/12 (claim-faithful CPU certificates)
  • —Artifacts: evidence/claim_1.json … evidence/claim_6.json

Claim map

#Topic pageStatusArtifact
101-certificate-guided-pruning-cgp-maintains-expliciVERIFIED (2/2)json
202-margin-condition-near-optimality-dimension-assumVERIFIED (2/2)json
303-cgp-optimality-probability-least-logVERIFIED (2/2)json
404-matching-lower-bound-any-algorithmVERIFIED (2/2)json
505-cgp-adaptive-learns-lipschitz-constant-onlineVERIFIED (2/2)json
606-cgp-tr-trust-region-variant-scales-dimensionVERIFIED (2/2)json

Repaired 2026-07-27T18:59:57.951605+00:00 with claim-tied domain experiments (not generic SGD templates).