Biological Abstractions
Research & Development
Advancing the frontier of computational mathematics and artificial intelligence through exploration rooted in theory and driven by practice. See our work below!
Cova
A library for computational mathematics with precise, principled implementations of algebraic structures, topological spaces, and formal abstraction.
Arbiter
A Rust-based multi-agent framework for the design, simulation, and auditing of autonomous, event-driven systems.
Pha
An exploration into reinforcement learning and evolutionary algorithms for dynamical systems and control theory.
ARC-AGI
Biologically inspired and mathematically grounded learning algorithms for adaption and reasoning in complex environments.
Our Foundation
We are a growing team of mathematicians, physicists, computer scientists, and engineers. Explore the philosophy, values, and people behind our mission.