tensorflow / deepmath

Experiments towards neural network theorem proving
785Updated 3 years ago

Related projects: