Alex A. Alemi
- DeepMath - Deep Sequence Models for Premise Selection
2016/06/14 by Alex Alemi, Alex A. Alemi, Alemi, Alex A. +12 · 1 voice · 35 citations
Computer Science · #Topic Modeling #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques