|
..
|
|
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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
ablation_logistic_N196608_m96.csv
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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_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_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_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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_misspec_p3_N65536_K2048.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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_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_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_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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_p3_N16384_K256.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_p3_N16384_K512.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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_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_N16384_K128.csv
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_p8_N16384_K128.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_p8_N16384_K256.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
logit_p8_N65536_K512.manifest.json
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
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 |
|