I'm a PhD student at Imperial College London, doing research on algebraic geometry, formal maths and the maths of AI. I also work on theorem proving at Google DeepMind.
-
Notifications
You must be signed in to change notification settings - Fork 0
Paul-Lez/Paul-Lez
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published