SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
ablation_exponential_summary.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_logistic_summary.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
boundary_summary_with_prediction.csv WP28: table generator, PDF validation, boundary finite-m prediction
boundary_summary.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
skew_summary.csv WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
summary.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)

Clone wp28_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of 6162f9a2ef92f29bccf1812b85286ce3dd39460b
Files · 6162f9a2ef92f29bccf1812b85286ce3dd39460b
Menu

Theme
↑↓ navigate ↵ open esc close / or ⌘K anywhere