Deep Network Guided Proof Search

Deep Network Guided Proof Search

24 January 2017

Christian Szegedy

ArXiv (abs)PDF HTML

Papers citing "Deep Network Guided Proof Search"

17 / 17 papers shown

Title
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 519 4 0 27 Aug 2024
ENIGMA: Efficient Learning-based Inference Guiding Machine Jan Jakubuv Josef Urban 39 94 0 23 Jan 2017
WaveNet: A Generative Model for Raw Audio Aaron van den Oord Sander Dieleman Heiga Zen Karen Simonyan Oriol Vinyals Alex Graves Nal Kalchbrenner A. Senior Koray Kavukcuoglu DiffM 406 7,405 0 12 Sep 2016
Holophrasm: a neural Automated Theorem Prover for higher-order logic Daniel Whalen AIMat 76 50 0 08 Aug 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 63 229 0 14 Jun 2016
Internal Guidance for Satallax Michael Färber C. Brown LRM 38 26 0 30 May 2016
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 2.2K 194,322 0 10 Dec 2015
Reasoning about Entailment with Neural Attention Tim Rocktaschel Edward Grefenstette Karl Moritz Hermann Tomás Kociský Phil Blunsom NAI 67 762 0 22 Sep 2015
Structure Formation in Large Theories S. Autexier D. Hutter 32 6 0 07 May 2015
Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai R. Socher Christopher D. Manning AIMat 142 3,122 0 28 Feb 2015
Gated Feedback Recurrent Neural Networks Junyoung Chung Çağlar Gülçehre Kyunghyun Cho Yoshua Bengio 72 830 0 09 Feb 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 1.9K 150,260 0 22 Dec 2014
Going Deeper with Convolutions Christian Szegedy Wei Liu Yangqing Jia P. Sermanet Scott E. Reed Dragomir Anguelov D. Erhan Vincent Vanhoucke Andrew Rabinovich 480 43,685 0 17 Sep 2014
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 635 13,431 0 25 Aug 2014
Learning to Discover Efficient Mathematical Identities Wojciech Zaremba Karol Kurach Rob Fergus 88 54 0 06 Jun 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 118 135 0 10 Oct 2013
Improving neural networks by preventing co-adaptation of feature detectors Geoffrey E. Hinton Nitish Srivastava A. Krizhevsky Ilya Sutskever Ruslan Salakhutdinov VLM 455 7,666 0 03 Jul 2012