24 citations · 46 across the 3 of their papers we have counts for
3 papers
cs.AI2016★ 24 cited
Holophrasm: a neural Automated Theorem Prover for higher-order logic
Daniel Whalen
I propose a system for Automated Theorem Proving in higher order logic using deep learning and eschewing hand-constructed features. Holophrasm exploits the formalism of the Metamat…
math.RT2016★ 11 cited
Generalised Umbral Moonshine
Miranda C. N. Cheng, Paul de Lange, Daniel P. Z. Whalen
Umbral moonshine describes an unexpected relation between 23 finite groups arising from lattice symmetries and special mock modular forms. It includes the Mathieu moonshine as a sp…
hep-th2015★ 11 cited
Exceptional Algebra and Sporadic Groups at c=12
Miranda C. N. Cheng, Sarah M. Harrison, Shamit Kachru +1
In earlier works, it was seen that a orbifold of the theory of 24 free two-dimensional chiral fermions admits various sporadic finite simple groups as global symmet…