Whalen, Daniel
- Holophrasm: a neural Automated Theorem Prover for higher-order logic
2016/08/08 by Daniel Whalen, Whalen, Daniel · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques
- On the elliptic genera of manifolds of Spin(7) holonomy
2014/12/08 by Nathan Benjamin, Sarah M. Harrison, Benjamin, Nathan +7 · 1 citation
Mathematics · Physics and Astronomy · #Advanced Algebra and Geometry #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #hep-th
- Vector-Valued Rademacher Sums and Automorphic Integrals
2014/06/03 by Daniel Whalen, Whalen, Daniel · 2 citations
Mathematics · #Advanced Algebra and Geometry #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Number Theory (math.NT)
- Exceptional Algebra and Sporadic Groups at c=12
2015/03/24 by Miranda C. N. Cheng, Cheng, Miranda C. N., Sarah M. Harrison +5 · 2 citations
Mathematics · Physics and Astronomy · #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Nonlinear Waves and Solitons #hep-th