Tom Klose
I am a mathematician turned AI research scientist, based in London. At Logos Research, I work on AI agents and formal verification.
I am a mathematician turned AI research scientist, based in London. At Logos Research, I work on AI agents and formal verification.