S
Stewart Wilcox
Researcher at Google
Publications - 3
Citations - 125
Stewart Wilcox is an academic researcher from Google. The author has contributed to research in topics: Automated theorem proving & Automated reasoning. The author has an hindex of 3, co-authored 3 publications receiving 100 citations.
Papers
More filters
Proceedings Article
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
Posted Content
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)
TL;DR: This work provides an open-source framework based on the HOL Light theorem prover that can be used as a reinforcement learning environment and presents a deep reinforcement learning driven automated theorem provers, DeepHOL, with strong initial results on this benchmark.
Posted Content
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
TL;DR: In this article, the authors present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic called HOL Light, which can be used as a reinforcement learning environment.