| File | # lines | # units |
check_certificate.pyin preprints/An-atomic-certificate-for-triangular-lattice-universal-optimality-September-26-2026/verification |
364 |
60 |
exact-source.pyin preprints/The-critical-dimension-for-one-phase-Bernoulli-minimizers-September-24-2026/verification/checks/original/checks |
385 |
59 |
appendix-a.cppin preprints/Foulkes-Conjecture-for-the-Sixth-Symmetric-Power-September-25-2026/verification/programs |
699 |
56 |
verify.pyin preprints/Exact-Fourier-certificates-for-complex-Hadamard-matrices-of-order-six-September-24-2026/verification |
542 |
51 |
core.hppin preprints/Triangular-minimality-for-planar-Coulomb-renormalized-energy-September-23-2026/verification |
289 |
49 |
menu.hppin preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026/verification/certificate/checkers |
212 |
39 |
exact_verifier.pyin preprints/Stable-Self-Similar-Blowup-for-a-Supercritical-Defocusing-Schrodinger-Equation-on-the-Torus-September-24-2026/verification/certificates |
352 |
34 |
verify_scalar.pyin preprints/A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants-October-5-2026/verification |
372 |
32 |
interval_certificate.cppin preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026/verification |
201 |
32 |
interval.cppin preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/verification |
293 |
29 |
original_exact_certificates.pyin preprints/Stable-Self-Similar-Blowup-for-a-Supercritical-Defocusing-Schrodinger-Equation-on-the-Torus-September-24-2026/verification/certificates |
198 |
28 |
polynomial.pyin preprints/Zero-Plane-Rigidity-for-Einstein-Four-Manifolds-October-4-2026/verification |
228 |
27 |
polynomial.pyin preprints/Positively-curved-Einstein-four-manifolds-September-23-2026/verification |
228 |
27 |
verify_degree31.pyin preprints/Arithmetic-classification-and-non-Pisot-singularity-for-Bernoulli-convolutions-October-3-2026/verification |
375 |
26 |
profile_certificate.pyin preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026/verification |
137 |
25 |
scalar_intervals.pyin preprints/The-Mahler-Conjecture-for-General-Convex-Bodies-September-22-2026/verification/programs |
148 |
25 |
ib.cppin preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026/verification/certificate/checkers |
137 |
24 |
certificate.cppin preprints/The-Reconstruction-Threshold-for-the-Ferromagnetic-Four-State-Potts-Model-October-5-2026/verification/checks |
175 |
23 |
segment-large-check.pyin preprints/The-Mahler-Conjecture-for-General-Convex-Bodies-September-22-2026/verification/programs |
129 |
22 |
certificate.pyin preprints/A-finite-time-singularity-of-Calabi-flow-on-projective-space-September-24-2026/verification |
136 |
21 |
reproduce.pyin preprints/The-critical-dimension-for-one-phase-Bernoulli-minimizers-September-24-2026/verification/checks |
376 |
19 |
independent.pyin preprints/Snaky-in-21-Maker-moves-September-25-2026/verification/supporting/route21 |
218 |
18 |
check_sjj_rational.pyin preprints/A-sharp-Fourier-certificate-for-planar-circle-packing-September-23-2026/verification |
177 |
18 |
engine.pyin preprints/The-critical-dimension-for-one-phase-Bernoulli-minimizers-September-24-2026/verification/independent-certificate |
301 |
18 |
|
256 |
17 |
numeric_balls.pyin preprints/Universal-optimality-of-the-triangular-lattice-September-23-2026/verification |
277 |
17 |
|
179 |
16 |
verify.pyin preprints/Zero-Plane-Rigidity-for-Einstein-Four-Manifolds-October-4-2026/verification |
457 |
15 |
verify.pyin preprints/Positively-curved-Einstein-four-manifolds-September-23-2026/verification |
457 |
15 |
smallcode_submitted.cppin preprints/Universal-Tensor-Squares-for-Symmetric-Groups-September-24-2026/verification/code |
117 |
14 |
boundary-independent.pyin preprints/The-critical-dimension-for-one-phase-Bernoulli-minimizers-September-24-2026/verification/checks/original/checks |
194 |
14 |
|
284 |
13 |
grid.cppin preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/verification |
198 |
13 |
inputs.pyin preprints/Universal-optimality-of-the-triangular-lattice-September-23-2026/verification |
226 |
13 |
exact_certificate.pyin preprints/Entanglement-with-zero-distillable-secret-key-in-local-dimension-ten-September-27-2026/verification |
114 |
13 |
appendix-b.cppin preprints/Foulkes-Conjecture-for-the-Sixth-Symmetric-Power-September-25-2026/verification/programs |
134 |
12 |
verify_computations.pyin preprints/Foulkes-Conjecture-for-the-Sixth-Symmetric-Power-September-25-2026/verification |
295 |
12 |
tail-check.pyin preprints/A-finite-time-singularity-of-Calabi-flow-on-projective-space-September-24-2026/verification |
149 |
12 |
grids.hppin preprints/Triangular-minimality-for-planar-Coulomb-renormalized-energy-September-23-2026/verification |
343 |
12 |
|
270 |
11 |
verify_certificate.pyin preprints/Snaky-in-21-Maker-moves-September-25-2026/verification/supporting/route25 |
240 |
11 |
verify_certificate.pyin preprints/Snaky-in-21-Maker-moves-September-25-2026/verification/supporting/route35 |
224 |
10 |
original_checker.pyin preprints/Cycle-clique-Ramsey-numbers-September-25-2026/verification/code |
162 |
10 |
original-computation.pyin preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/verification/computations/source1 |
156 |
10 |
verify.pyin preprints/The-Campana-Peternell-conjecture-in-dimension-six-September-25-2026/verification |
159 |
10 |
|
185 |
9 |
smallcode_verify.pyin preprints/Universal-Tensor-Squares-for-Symmetric-Groups-September-24-2026/verification/code |
200 |
9 |
verify_parameters.pyin preprints/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026/verification/scripts |
472 |
9 |
|
154 |
9 |
audit_arithmetic.pyin preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/verification/computations/source2 |
131 |
9 |