Stewart Wilcox
According to our database1,
Stewart Wilcox
authored at least 3 papers
between 2012 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
CoRR, 2019
Proceedings of the 36th International Conference on Machine Learning, 2019
2012
J. Lond. Math. Soc., 2012