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

8 August 2016

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

4 / 4 papers shown

Title
Activation Steering in Neural Theorem Provers Shashank Kirtania LLMSV 411 0 0 21 Feb 2025
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 374 7,959 0 17 Aug 2015
Move Evaluation in Go Using Deep Convolutional Neural Networks Chris J. Maddison Aja Huang Ilya Sutskever David Silver FAtt 64 134 0 20 Dec 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 101 135 0 10 Oct 2013