# Certificate-Guided Pruning for Stochastic Lipschitz Optimization

ORID `9CqZoRWpoc` · **claim-faithful** repair 2026-07-27T18:59:57.950874+00:00

Paper-style claim pages with **inline numbers** and linked `evidence/` artifacts.

## Claims

- [Claim 1: 01-certificate-guided-pruning-cgp-maintains-explici](./01-certificate-guided-pruning-cgp-maintains-explici/) — VERIFIED (2/2)
- [Claim 2: 02-margin-condition-near-optimality-dimension-assum](./02-margin-condition-near-optimality-dimension-assum/) — VERIFIED (2/2)
- [Claim 3: 03-cgp-optimality-probability-least-log](./03-cgp-optimality-probability-least-log/) — VERIFIED (2/2)
- [Claim 4: 04-matching-lower-bound-any-algorithm](./04-matching-lower-bound-any-algorithm/) — VERIFIED (2/2)
- [Claim 5: 05-cgp-adaptive-learns-lipschitz-constant-online](./05-cgp-adaptive-learns-lipschitz-constant-online/) — VERIFIED (2/2)
- [Claim 6: 06-cgp-tr-trust-region-variant-scales-dimension](./06-cgp-tr-trust-region-variant-scales-dimension/) — VERIFIED (2/2)
- [Conclusion](./conclusion/)

## Artifacts

- [`evidence/claim_1.json`](../evidence/claim_1.json)
- [`evidence/claim_2.json`](../evidence/claim_2.json)
- [`evidence/claim_3.json`](../evidence/claim_3.json)
- [`evidence/claim_4.json`](../evidence/claim_4.json)
- [`evidence/claim_5.json`](../evidence/claim_5.json)
- [`evidence/claim_6.json`](../evidence/claim_6.json)