Mantas Bakšys

Cambridge

Research Area:

Automated Reasoning

University:

Mantas is a 2nd year PhD student at the University of Cambridge, focusing on AI4Math. He has research experience from top-tier labs like OpenAI and AWS ARG, and was a key researcher at Project Numina, a startup raising $4mm for AI-driven mathematical discovery. Mantas is passionate about benefitting humanity by accelerating scientific discovery with AI, and he is passionate about connecting academic research with the mission of empowering entrepreneurs to build safe and impactful solutions to real-world problems.