Popular repositories Loading

1. PvsNP PvsNP Public

   GPU-accelerated exhaustive 3-SAT enumeration on a single laptop GPU: 13.55 billion assignment evaluations, throughput benchmarks up to 2^30 assignments, solution-space sampling statistics across cl…

   Python

2. FastMatrixF2 FastMatrixF2 Public

   Exact symmetry-stratified search for fast matrix multiplication over F2: a second inequivalent rank-47 scheme for 4x4, rigidity theorems, and large same-rank families at 5x5 and 6x6

   Python

3. games-conjecture games-conjecture Public

   Certified computational study of the gap shape of degree-4 sum-of-squares relaxations of unique games. A null result on the main question, two proved theorems on Paley graphs, and a structural dete…

   Python