Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
tensorflow

deepmath

tensorflow/deepmath

Experiments towards neural network theorem proving

789stars
View on GitHub
Forks
137
Open issues
5
Watchers
789
Size
3.4 MB
C++Apache License 2.0
Created: Nov 7, 2016
Updated: Jan 5, 2026
Last push: Dec 5, 2020
Archived