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.
Sorting dynamics as morphogenetic systems, with mechanistic analysis and robustness assays.
Intervention framework for proof-search structure: centralized MCTS maps proof families, basin stability, and search efficiency, while distributed MCTS tests how collective control changes access to that landscape.
Controlled studies of persistent forms and behavior in Flow Lenia, aimed at identifying candidate proto-cognitive structure.
Memory-like behavior in decentralized physical collectives under local material updates and path-dependent adaptation.
Benchmark harness for Lean `sorry` tactic proposals, with split policy, scoring, and verification protocols.
Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.
Offline training and reranking over exported Wonton Soup run traces.
Implementation for reworking CATWD 2.0 semantics and calibrating K across domains to better understand its properties.
Intervention studies in proof search, with structural comparison across runs.