Spaces:
Running
Running
| title: "Repro - ICL Bayesian Risk Decomposition" | |
| emoji: 🎯 | |
| colorFrom: yellow | |
| colorTo: red | |
| sdk: static | |
| pinned: false | |
| tags: | |
| - trackio | |
| - trackio-logbook | |
| - open-experiment | |
| - icml2026-repro | |
| - paper-BUFSSOuphA | |
| # Current verification first | |
| The current campaign supersedes the toy verifier in judged revision | |
| `b604006ac298769e9dcee6ecb42b45369eb68cce`. | |
| - [Current claim-by-claim verification](#/current) | |
| - [Claim 2 exact counterexample](evidence/claim2/raw_counterexample.json) | |
| - [Cumulative executable verifier](repro/src/verify.py) | |
| - [Pinned environment](pyproject.toml) and [lockfile](uv.lock) | |
| - [Immutable judged README snapshot](historical/judged_b604006a/README.md) | |
| - [Immutable judged logbook snapshot](historical/judged_b604006a/logbook.json) | |
| The old pages remain reachable below and are labeled **Historical rejected | |
| baseline**. Current exact results: Claims 1, 3, 4, and 5 `VERIFIED`; Claim 2 | |
| `FALSIFIED`. | |
| # Repro - ICL Bayesian Risk Decomposition | |
| An open experiment logbook, published with [Trackio](https://github.com/gradio-app/trackio). | |