Our DeepMath paper is up on Arxiv: https://arxiv.org/abs/1606.04442 -- applying deep learning to theorem proving for the first time.
-
-
https://arxiv.org/abs/1406.1584 could also be considered a limited form of theorem proving, I guess.
-
also check out
@professorwcohen's amazing workhttps://arxiv.org/abs/1605.06523
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.