Give AlbumentationsX a star on GitHub — it powers this leaderboard
Experiments towards neural network theorem proving