SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
check_lean.sh WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
compile_paper.sh WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
reproduce_all.sh WP28: displayed equations throughout, GPT-6.1 author mention removed,...
setup.sh WP28: displayed equations throughout, GPT-6.1 author mention removed,...
validate_pdf.sh WP28: robust PDF validation

Clone wp28_uqo

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

ZIP tar.gz snapshot of 03c92a56d0693cfd935830864af130593cec5f03
Files · 03c92a56d0693cfd935830864af130593cec5f03
Menu

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