SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
abl_exponential.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
abl_logistic.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
bench_text.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
bench.tex WP28: table generator, PDF validation, boundary finite-m prediction
boundary.tex WP28: table generator, PDF validation, boundary finite-m prediction
mc_exp_contam_p1.tex WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
mc_exp_p1.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
mc_logit_illcond_p8.tex WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
mc_logit_misspec_p3.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
mc_logit_p20_p20.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
mc_logit_p3.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
mc_logit_p8.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
mc_logit_small_m_p8.tex WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
mc_main_text.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
mc_pois_p3.tex WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
mc_pois_p8.tex WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
mc_rates.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
numbers.tex WP28: valid-worker-only variants, robust baselines under failed local fits,...
skew.tex WP28: Monte Carlo section, table layout (4 local sizes), canonical figures

Clone wp28_uqo

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

ZIP tar.gz snapshot of 02dccf6a286d80f4c3ba3379a8a2b7a29c0d42b4
Files · 02dccf6a286d80f4c3ba3379a8a2b7a29c0d42b4
Menu

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