LogosAI

The verification layer for AI

London, United Kingdom · $31.0M raised

Headquarters
London
Employees
1–10
Business Model
B2B
Total Funding
$31.0M
Last Round
$31.0M SeedJan 2025
Rounds
1

About

Logos Research is an Imperial College London spinout building the verification layer for AI agents in correctness-sensitive domains. The company formalises domain-specific knowledge into machine-checkable specifications and uses a theorem prover to iterate until generated code is proven mathematically correct. Its applications include legacy code migration, code verification and synthesis, and scientific research validation — targeting industries such as trading, accounting, and regulation where AI errors carry serious consequences.

Summary

LogosAI is an Artificial Intelligence company based in London, United Kingdom. It has raised $31.0M in total across 1 round, most recently a $31.0M Seed round in Jan 2025. Investors include SOSV.

Tech & App Stack

2 technologies & apps tracked

Every product and vendor across these categories, with where each signal came from.

Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.

Funding History

SeedSeed RoundJan 2025
$31.0M

Investors

Similar Companies

Your company? Embed this profile

Add the live badge to your site — it stays current as your funding data updates.

LogosAI on Indexed.vc
<a href="https://indexed.vc/companies/logosai"><img src="https://indexed.vc/api/badge/company/logosai" alt="LogosAI on Indexed.vc" width="260" height="76" /></a>