Pinned Loading

1. autotao autotao Public

   Autonomous Theorem Attack Orchestrator — a research harness that works open mathematics problems continuously, verifies what it produces, and logs every attempt.

   TypeScript

2. random-mst-correlations random-mst-correlations Public

   Pairwise edge correlations in random minimum spanning trees — paper, exact data, and verification code

   Python

3. uniform-forests-complete-graphs uniform-forests-complete-graphs Public

   Edges of the uniform random forest of K_n are pairwise negatively correlated for every n — paper and exact verification

   TeX

4. gold-partition-conjecture gold-partition-conjecture Public

   Exact verification of the Gold Partition Conjecture for every non-chain poset on at most 14 elements, with reproducible C code and archived data.

   Python 1

5. tuza-maximum-degree-seven tuza-maximum-degree-seven Public

   Tuza's conjecture for graphs of maximum degree at most seven — paper, certificate catalogue, and exact verifiers

   TeX

6. falling-liquid-film falling-liquid-film Public

   Reinforcement learning applied to falling liquid film control.

   Jupyter Notebook 1