Search Results for author: Daniel Whalen

Found 1 papers, 1 papers with code

Holophrasm: a neural Automated Theorem Prover for higher-order logic

3 code implementations8 Aug 2016 Daniel Whalen

I propose a system for Automated Theorem Proving in higher order logic using deep learning and eschewing hand-constructed features.

Automated Theorem Proving Test

Cannot find the paper you are looking for? You can Submit a new open access paper.