
Mathematical Reasoning via Selfsupervised Skiptree Training
We examine whether selfsupervised language modeling applied to mathemat...
read it

Reducing Commutativity Verification to Reachability with Differencing Abstractions
Commutativity of data structure methods is of ongoing interest, with roo...
read it

Mathematical Reasoning in Latent Space
We design and conduct a simple experiment to study whether neural networ...
read it

Learning to Reason in Large Theories without Imitation
Automated theorem proving in large theories can be learned via reinforce...
read it

Graph Representations for HigherOrder Logic and Theorem Proving
This paper presents the first use of graph neural networks (GNNs) for hi...
read it

HOList: An Environment for Machine Learning of HigherOrder Theorem Proving (extended version)
We present an environment, benchmark, and deep learning driven automated...
read it

HOList: An Environment for Machine Learning of HigherOrder Theorem Proving
We present an environment, benchmark, and deep learning driven automated...
read it

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
Reasoning about commutativity between datastructure operations is an im...
read it
Kshitij Bansal
is this you? claim profile