Stewart Wilcox

According to our database, Stewart Wilcox authored at least 3 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Proceedings of the 36th International Conference on Machine Learning, 2019

2012

On the cellularity of the cyclotomic Birman-Murakami-Wenzl algebras.

Stewart Wilcox, Shona Yu

J. Lond. Math. Soc., 2012