research
∙
06/08/2020
Mathematical Reasoning via Self-supervised Skip-tree Training
We examine whether self-supervised language modeling applied to mathemat...
share
research
∙
04/17/2020
Reducing Commutativity Verification to Reachability with Differencing Abstractions
Commutativity of data structure methods is of ongoing interest, with roo...
research
∙
09/26/2019
Mathematical Reasoning in Latent Space
We design and conduct a simple experiment to study whether neural networ...
research
∙
05/25/2019
Learning to Reason in Large Theories without Imitation
Automated theorem proving in large theories can be learned via reinforce...
research
∙
05/24/2019
Graph Representations for Higher-Order Logic and Theorem Proving
This paper presents the first use of graph neural networks (GNNs) for hi...
research
∙
04/05/2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)
We present an environment, benchmark, and deep learning driven automated...
research
∙
04/05/2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
We present an environment, benchmark, and deep learning driven automated...
research
∙
02/23/2018