SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
ablation_exponential_N1572864_m24.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_exponential_N1572864_m96.csv WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
ablation_exponential_N196608_m12.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
ablation_exponential_N3145728_m192.csv WP28: displayed equations throughout, GPT-6.1 author mention removed,...
ablation_exponential_N393216_m24.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
ablation_exponential_N6291456_m24.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_exponential_N6291456_m96.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_exponential_N786432_m48.csv WP28: table generator, PDF validation, boundary finite-m prediction
ablation_logistic_N196608_m192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_logistic_N196608_m384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_logistic_N196608_m768.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
ablation_logistic_N196608_m96.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ablation_logistic_N786432_m192.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
ablation_logistic_N786432_m768.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
benchmarks.jsonl WP28: benchmarks section, final review verdict, phase log, delivery note
exp_contam_p1_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N1048576_K65536.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N1048576_K65536.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N262144_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N262144_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N262144_K16384.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N262144_K16384.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N262144_K4096.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N262144_K4096.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_contam_p1_N65536_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N65536_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N65536_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_contam_p1_N65536_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K131072.csv WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
exp_p1_N1048576_K131072.manifest.json WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
exp_p1_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K32768.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K32768.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K65536.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K65536.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
exp_p1_N16384_K1024.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K1024.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K128.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K128.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K16.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K16.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K2048.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K2048.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K256.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K256.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K32.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K32.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K512.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K512.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K64.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N16384_K64.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N262144_K1024.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K1024.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K16384.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K16384.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K2048.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K2048.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K256.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K256.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K32768.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K32768.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K4096.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K4096.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K512.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K512.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exp_p1_N262144_K8192.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N262144_K8192.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
exp_p1_N4194304_K131072.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K131072.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K16384.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K16384.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K262144.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K262144.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K32768.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K32768.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K4096.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K4096.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K65536.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K65536.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K8192.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N4194304_K8192.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
exp_p1_N65536_K1024.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K1024.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K128.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K128.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K2048.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K2048.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K256.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K256.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K4096.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K4096.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K512.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K512.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K64.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K64.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K8192.csv WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
exp_p1_N65536_K8192.manifest.json WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
logit_illcond_p8_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K2048.csv WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
logit_illcond_p8_N262144_K2048.manifest.json WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
logit_illcond_p8_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_illcond_p8_N65536_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K32768.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_misspec_p3_N1048576_K32768.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_misspec_p3_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K1024.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_misspec_p3_N262144_K1024.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_misspec_p3_N262144_K2048.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_misspec_p3_N262144_K2048.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_misspec_p3_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N262144_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N65536_K1024.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_misspec_p3_N65536_K1024.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_misspec_p3_N65536_K128.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_misspec_p3_N65536_K128.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_misspec_p3_N65536_K2048.csv WP28: log update
logit_misspec_p3_N65536_K2048.manifest.json WP28: log update
logit_misspec_p3_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_misspec_p3_N65536_K512.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_misspec_p3_N65536_K512.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p20_p20_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N1048576_K2048.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N1048576_K2048.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N1048576_K4096.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N1048576_K4096.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N1048576_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N1048576_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N1048576_K8192.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N1048576_K8192.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p20_p20_N262144_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p20_p20_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K32768.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p3_N1048576_K32768.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p3_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K16.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N16384_K16.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N16384_K256.csv WP28: final Monte Carlo section with generated numbers; complete cluster results
logit_p3_N16384_K256.manifest.json WP28: final Monte Carlo section with generated numbers; complete cluster results
logit_p3_N16384_K32.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K32.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K512.csv WP28: final Monte Carlo section with generated numbers; complete cluster results
logit_p3_N16384_K512.manifest.json WP28: final Monte Carlo section with generated numbers; complete cluster results
logit_p3_N16384_K64.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N16384_K64.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K1024.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p3_N262144_K1024.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p3_N262144_K2048.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N262144_K2048.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N262144_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N262144_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K128.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N65536_K128.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
logit_p3_N65536_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p3_N65536_K64.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p3_N65536_K64.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p8_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K16384.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p8_N1048576_K16384.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p8_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N1048576_K8192.csv WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p8_N1048576_K8192.manifest.json WP28: valid-worker-only variants, robust baselines under failed local fits,...
logit_p8_N16384_K128.csv WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N16384_K128.manifest.json WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N16384_K16.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N16384_K16.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N16384_K256.csv WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N16384_K256.manifest.json WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N16384_K32.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N16384_K32.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N16384_K64.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p8_N16384_K64.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
logit_p8_N262144_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K512.csv WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N65536_K512.manifest.json WP28: benchmarks section, final review verdict, phase log, delivery note
logit_p8_N65536_K64.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
logit_p8_N65536_K64.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K32768.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K32768.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K16.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N16384_K16.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N16384_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K32.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N16384_K32.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N16384_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N16384_K64.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p3_N16384_K64.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p3_N262144_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N262144_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K1024.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p3_N65536_K1024.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p3_N65536_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K2048.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N65536_K2048.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p3_N65536_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K512.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K512.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K64.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p3_N65536_K64.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K1024.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K1024.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K16384.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K16384.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K2048.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K2048.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K8192.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N1048576_K8192.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K16.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N16384_K16.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N16384_K256.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K256.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K32.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K32.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K64.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N16384_K64.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N262144_K1024.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N262144_K1024.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N262144_K2048.csv WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
pois_p8_N262144_K2048.manifest.json WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
pois_p8_N262144_K256.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N262144_K256.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N262144_K4096.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N262144_K4096.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N262144_K512.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N262144_K512.manifest.json WP28: manuscript draft (theory sections, proofs, bibliography) compiles
pois_p8_N65536_K1024.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K1024.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K128.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N65536_K128.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N65536_K256.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K256.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K512.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K512.manifest.json WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
pois_p8_N65536_K64.csv WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
pois_p8_N65536_K64.manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
skew_exponential_K1024_r16.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
skew_exponential_K1024_r4.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
skew_exponential_K256_r1.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
skew_exponential_K256_r16.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
skew_exponential_K256_r4.csv WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
skew_logistic_K1024_r16.csv WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
skew_logistic_K1024_r4.csv WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
skew_logistic_K256_r1.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
skew_logistic_K256_r16.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles
skew_logistic_K256_r4.csv WP28: manuscript draft (theory sections, proofs, bibliography) compiles

Clone wp28_uqo

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

ZIP tar.gz snapshot of 960926063a6ca5ed53de00e9616d11db178d3b22
Files · 960926063a6ca5ed53de00e9616d11db178d3b22
Menu

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