vix.ing · top · new · best · stats · spec

Alemi, Alex A.

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