Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Tensorflow Deepmath: Experiments towards neural network theorem proving
github.com/tensorflow
142 points
runesoerensen
10 years ago
12 comments
Loading...
Tensorflow Deepmath: Experiments towards neural network theorem proving | Heykuki News