Imperial College London reports on our launch from stealth after raising funding from Khosla Ventures, XTX Ventures, and SOSV. The article covers our approach to making AI-generated code reliable enough for algorithmic trading and other mission-critical applications.
On the potential impact of verified AI-generated algorithms:
A technology that can verify correctness of AI-generated algorithms as rapidly as AI creates them could make significant impact.
— Prof. Johannes Muhle-Karbe, Imperial College London
On extending formal verification beyond pure mathematics:
This extends Lean formalization beyond pure mathematics into applied mathematics.
— Prof. Kevin Buzzard, Imperial College London
On the team behind Logos Research:
World-class mathematicians and quant finance managers, reminiscent of Renaissance Technologies.
— Po Bronson, General Partner, SOSV
On moving from heuristic confidence to proven correctness:
Logos formalizes intent in Lean so AI can move from ‘this looks right’ to proven correct.
— Dr Kanu Gulati, Khosla Ventures