Loading
Logos Research
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.
Funding
Every round, secondary, debt facility or acquisition involving Logos Research that Lounge tracks, newest first.
No rounds recorded yet.
Paid members see the full deals desk — every AI round and exit, filterable by type, sector and country, with investors and reported ARR, plus CSV exports. Developer membership is $9/mo.
See plans →Log in