LogosAI

LogosAI is an artificial intelligence company in London, United Kingdom, founded in 2025. It has raised $31.0M across 1 round, most recently a $31.0M Seed in 2025 (est.).

The verification layer for AI

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

Totals include recorded grants and other qualifying funding, not just equity. What counts toward funding.

Indexed holds 1 funding round and 1 investor for this company. The full record is or through the API.

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

It lists 1–10 employees. It has raised $31.0M in total across 1 round, most recently a $31.0M Seed round in 2025 (est.). Investors include SOSV.

Tech & App Stack

3 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

Data from Indexed.vcUpdated
SeedSeed Round2025 (est.)
$31.0M

Investors

Similar Companies

Mistral AI

Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...

Paris, France501–1000Artificial Intelligence, Generative AI
Series DTotal funding$7.0BSep 2026
Zhipu AIIPO

Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...

Beijing, China501–1000Artificial Intelligence, Developer Tools
Venture RoundTotal funding$5.5BJul 2026
Cognition

AI software engineering company building Devin, an autonomous AI coding agent capable of planning...

San Francisco, United States51–200Artificial Intelligence, Developer Tools
Series ETotal funding$4.1BSep 2026
CursorAcquired

Cursor is the best way to code with AI, and built to make you extraordinarily productive.

San Francisco, United States51–200Artificial Intelligence, Developer Tools
Series DTotal funding$3.4BNov 2025
SambaNova Systems

Provides AI inference hardware and cloud platform for enterprises, using RDUs and SambaCloud to r...

Palo Alto, United States201–500Artificial Intelligence, Developer Tools
Series FTotal funding$2.5BJul 2026
UiPathIPO

UiPath provides an enterprise automation platform that coordinates AI agents, software robots, pe...

New York, United States1001–5000Artificial Intelligence, Automation
Venture RoundTotal funding$2.5BMar 2026

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>