Logos is building the mathematical infrastructure that makes AI agents logically correct over long horizons, using formal verification to ground LLM-generated code in machine-checked proofs.
Org chart
This company has no org chart yet
Teams
This company has no teams yet
Offices
This company has no offices yet
