Organizations
Explore companies, research labs, universities, nonprofits, and public institutions across the AI ecosystem.
HarmonicAI company building Aristotle, a mathematical reasoning system that combines informal reasoning with formal verification so answers can be checked rather than merely generated. Harmonic is focused on theorem proving, Lean-backed verification, and high-stakes domains where correctness matters.
ReasonableAn applied research company developing training environments, datasets, and post-training methods for superhuman programming models, grounding their outputs in formal verification and mathematical models of program semantics.