Stewart Wilcox

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 2

Top Topics

Machine Learning

Theorem Proving

Predicate Calculus

Top Venues

J. Lond. Math. Soc.

Publications

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR (2019)
Stewart Wilcox, Shona Yu
On the cellularity of the cyclotomic Birman-Murakami-Wenzl algebras. J. Lond. Math. Soc. 86 (3) (2012)