AI Rank
Open Source
Models
Apps
Insight
Articles
App
中文
Get the app
← Developers
#16699
30
Geoffrey Irving
@girving · UK
Open on GitHub
1.16k
Weighted score
171
Contributions
4
Repos
Top repos
hughperkins/
tf-coriander
tensorflow/
deepmath
openai/
baselines
openai/
gym
Ranked AI repos
1
13812
106
tensorflow/
deepmath
+0
today
Experiments towards neural network theorem proving
789
· C++
· Model Development
Nearby in the ranking
Jannis Metrikat
Devashish M Gopalani
3rdarm
Filip Makraduli
Similar items
lukemarsden
John Cartwright
Vitali Avagyan
Benedek Rozemberczki
Open Source
Models
Apps
Insight
Open on GitHub