Pinned Loading

1. random-mst-correlations random-mst-correlations Public

   Paper and companion materials on pairwise correlations in random minimum spanning trees

   Python

2. 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

3. autotao autotao Public

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

   Shell

4. falling-liquid-film falling-liquid-film Public

   Reinforcement learning applied to falling liquid film control.

   Jupyter Notebook 1

5. 2couette 2couette Public

   A two-fluid couette flow with bells and whistles, written in Basilisk C

   C