Logos Research
AI Agents
Overview
Logos is turning formal verification into a high-bandwidth feedback channel that lets AI agents safely write production software in quantitative industries, with machine-checkable proof that it respects the invariants specified by the system it runs on.
Funding and backers
Backers
1
SOSV
Momentum
0/100
no fresh signals
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
2025
Founded
Tractionpublic signals, read monthly
Hacker News stories
1
best: 1 points
Backed byfrom the funds' portfolios and accelerator catalogs
Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Formal verification and AI — research and engineering from Theorem.
Certora applies formal verification to smart contracts, mathematically proving that code satisfies specified properties. Its Prover is used…
Deterministic simulation and formal verification for distributed systems.
Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into…
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. the algorithms you create…
Geordie.ai is the leading AI governance platform helping enterprises adopt AI agents safely across posture, observability, compliance, and…
Connections
List
Graph
Found in company registers, site code, DNS and hiring. Each connection shows how sure we are and the evidence, with its source and date.
Shared investors
SOSVVia a fund
777 portfolio companies
Click a company to open it. Dashed lines are likely connections. The second step of the network is part of the Pro plan.
Owner
Same company
Same group
Likely
