We are an independent research group, interested in the overall idea shown by Michael Levin (Levin, 2022) that certain types of patterns are real and exist in a non-spatiotemporal sense, and physical systems are interfaces, or pointers, that let those patterns be expressed.
Sorting-as-morphogenesis experiments extending Zang and Levin with mechanistic analysis, delayed-gratification studies, and robustness profiling.
Perturbation experiments on MCTS proof search in Lean, focused on structural invariants, intervention response, and reproducible run analysis.
Distributed Flow Lenia exploration on Apple Silicon, combining search, simulation, and taxonomy for open-ended creature discovery.
Experiments on whether decentralized physical collectives can exhibit memory-like behavior through 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 index materialization.
Offline training and reranking experiments over exported Wonton Soup run traces.
Playground for re-implementing Cognition All The Way Down 2.0 semantics and calibrating K on small domains before wider use.