We are an independent research lab studying recurrent structure and invariants in computational and physical systems, informed in part by Michael Levin's work on cognition across scales, from cells and tissues to artificial and collective systems.
Flow Lenia: perturbation experiments that test whether spatially localized patterns cohere, recover, and show goal-directedness, and cartography of the genotype-phenotype morphospace they live in.
Sorting algorithms as dynamical systems: mechanistic signatures, perturbations, and robustness tests.
MCTS search over Lean tactic proofs: an intervention harness for proof structures and basins, and a study of distributed MCTS as a search algorithm in its own right.
Benchmark harness for scoring and verifying Lean sorry tactic proposals.
Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.
Reworked CATWD 2.0 semantics and cross-domain calibration of K.
Offline training and reranking over exported Wonton Soup run traces.
Sub-10KB offline decision procedure for equational implication over magmas, distilled from the 4694-law implication graph.
Intervention studies in proof search, with structural comparison across runs.