arxiv.org
scholar.google.com
DeepMath - Deep Sequence Models for Premise Selection
Alex A. Alemi and Francois Chollet and Geoffrey Irving and Christian Szegedy and Josef Urban
arXiv e-Print archive - 2016 via Local arXiv
Keywords: cs.AI, cs.LG, cs.LO

more



ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!
About

Sponsored by: