News
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 layer for hallucination-free AI↗
Our CEO Cristopher Salvi recently discussed our vision with SOSV partners Po Bronson and Parikshit Sharma.
27th April 2026