Category Archives: Deep Learning

This is a review of the paper — “Deep network guided proof search”. arXiv preprint arXiv:1701.06972, as given in reference [1]. — Automated first-order theorem provers (ATP) can be used to prove mathematical theorems and these can also be used in applications such as program analysis, theory exploration, and reasoning. — Higher-order logic, Naive Bayes,Continue reading “Deep Network-based Automated Theorem Prover”