About

Our compact, talent-dense team.

The applied AI research team teaching large language models to mathematically prove their work correct, and building the products to make that intelligence useful.

Ferenc Huszár
Technical founder

Professor of Machine Learning at Cambridge. Highly cited, and widely read at inference.vc. Led ML research at Twitter after Magic Pony's $150m acquisition.

Craig Hughes
Commercial & operations founder

Enterprise tech exec. Scaled products and businesses at $1b+ scale. EVP at Teads/Outbrain, exec at Unruly (acquired by News Corp). XP leading capital raises, an IPO and ~$1b acquisition.

Anna Török-Böröcz
Operations & people

Experienced HR leader, built and scaled high-velocity innovative teams and HR functions, previously Turbine AI and GE Healthcare. Economist by training, builder at heart.

Patricia Kántor
Talent

Talent Acquisition leader with a track record building high-performing, highly technical teams internationally. Previously Arm and AWS, and a founder background.

Beatrix Benkő
Member of Technical Staff

PhD in Computer Science. Research focus includes continual learning and memory management, mechanisms of learning, agent sandboxing and evaluation.

Geza Csenger
Member of Technical Staff

Software engineer and computer scientist with a strong interest in designing and building robust large-scale distributed systems.

Gábor Bakos
Member of Technical Staff

Engineer and entrepreneur, co-founder of MindOne and BitRaptors, with experience building products for high-growth companies including Skyscanner, Oda, and Trustpilot.

Anna Mészáros
Member of Technical Staff

PhD in ML at Cambridge, DeepMind scholar. Out-of-distribution generalization of LLMs, with spotlight papers at NeurIPS and ICML. EGMO medalist.

Kseniia Strelbytska
Member of Technical Staff

IAIO gold medallist, two-time EGOI silver medallist, currently a final year student at Stephen Perse, Cambridge.

Gergő Kulcsár
Member of Technical Staff

Theoretical computer science MSc (ETH Zurich) turned builder. Quant with Squarepoint, Stateless Election Technologies, and Morgan Stanley.

Szilvia Ujváry
Member of Technical Staff

PhD in Machine Learning at Cambridge, previously at Apple MLR. LLM emergent behaviours, generalisation and data selection.

Csongor Horváth
Member of Technical Staff

PhD in Machine Learning at Uppsala University. Focusing on robust machine learning and resource constraint optimization.

Balázs Szilágyi
Member of Technical Staff

IOI silver medallist, starting a BA in Computer Science at Christ's College, Cambridge.

Pál Czanik
Member of Technical Staff

IMO & IOI Silver medallist beginning his second year of maths at Trinity College, Cambridge.

Xudong Sun
Advisor

Assistant Professor at the University of Toronto. Co-creator of Anvil, working on formal verification for real-world, large-scale systems.

Open roles Come and prove it with us. ↗
Backed by
Oriol Vinyals/Durk Kingma/Zoubin Ghahramani/Guy Podjarny/Michael Abbott/Thomas Wolf/Barney Hussey-Yeo/Bruce Falck/Jonathan Frankle/Charlie Songhurst/Nathan Labenz/amongst other industry luminaries