Rare find

deepmath. Experiments towards neural network theorem proving

github.com/tensorflow/deepmath
by @tensorflow

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.