Team

Formal Verification · AI Theorem Proving · Lean 4 Datasets

Scientific Advisors

World-renowned experts guiding our vision

Prof Yang-Hui He

Scientific Advisor & ML Director

Prof Neil Lambert

Scientific Advisor

Madhav Tiwari

Director

LMU Munich · Physics

Rajarshi Maiti

Director

University of Bonn · Mathematics

Sridhar Sai Gorrepati

Technology Head

Queen's Belfast · Computer Science

Sangita Tiwari

Legal & Finance Head

University of Hamburg · Physics