On the cellularity of the cyclotomic Birman-Murakami-Wenzl algebras. - Stewart Wilcox; Shona Yu (J. Lond. Math. Soc., 2012)

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (ICML, 2019)

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (CoRR, 2019)