spb/wp28_uqo

Public

20commits
1branches
0releases
272.5 MBon disk
maindefault branch
4 days agolast push

Thu, Oct 29, 2026 3
1. WP28: benchmarks section, final review verdict, phase log, delivery note
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 2 files +30
2. WP28: final Monte Carlo section with generated numbers; complete cluster results
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 12 files +249 −169
3. WP28: valid-worker-only variants, robust baselines under failed local fits, pseudo-true target for misspecified designs, benchmark launcher fixes, Lean docs
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 9 files +313 −312
Wed, Oct 28, 2026 4
1. WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 13 files +448 −412
2. WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 10 files +332 −295
3. WP28: table generator, PDF validation, boundary finite-m prediction
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 14 files +667 −2
4. WP28: manuscript draft (theory sections, proofs, bibliography) compiles
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 3 files +8

Thu, Oct 29, 2026 3

Wed, Oct 28, 2026 4