External partners and individual collaborators working with the AIProver effort.
Fields Institute for Research in Mathematical Sciences, Canada
University of Warwick,United Kingdom
Massachusetts Institute of Technology,United States
To be announced soon
Associate Professor
University of Warwick
PhD Student in CS
MIT
