
Learning to Guide a SaturationBased Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
read it

Neural Analogical Matching
Analogy is core to human cognition. It allows us to solve problems based...
read it

An Experimental Study of Formula Embeddings for Automated Theorem Proving in FirstOrder Logic
Automated theorem proving in firstorder logic is an active research are...
read it

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Recent advances in the integration of deep learning with automated theor...
read it

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional firstorder logic (FOL) reasoning systems usually rely on ma...
read it

High Fidelity Vector Space Models of Structured Data
Machine learning systems regularly deal with structured data in realwor...
read it
Maxwell Crouse
is this you? claim profile