News
Press
Logos Research launches to make AI reasoning trustworthy in high-stakes environments↗
Imperial College London covers our launch from stealth, with perspectives from Prof. Kevin Buzzard, Prof. Johannes Muhle-Karbe, and our investors.
26th May 2026
Research
Stress-testing Logos formalisation platform on graduate-level probability and stochastic analysis
Findings from 18 formalisation experiments by Prof. Massimiliano Gubinelli, producing 144,000 lines of machine-checked Lean across 2,248 verified items.
22nd May 2026
Announcement
Logos achieves state-of-the-art 99.4% on verified code synthesis benchmark
State-of-the-art 99.4% on verified-code-generation benchmark.
7th May 2026
Press
Why formal verification is the missing infrastructure layer for AI agents↗
Our CEO Cristopher Salvi recently discussed our vision with SOSV partners Po Bronson and Parikshit Sharma.
27th April 2026