v1v2 (latest)

Graph Representations for Higher-Order Logic and Theorem Proving

24 May 2019

Aditya Sanjay Paliwal

Papers citing "Graph Representations for Higher-Order Logic and Theorem Proving"

25 / 25 papers shown

Title
Activation Steering in Neural Theorem Provers Shashank Kirtania LLMSV 472 0 0 21 Feb 2025
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Kyle Thompson Nuno Saavedra Pedro Carrott Kevin Fisher Alex Sanchez-Stern Yuriy Brun J. Ferreira Sorin Lerner E. First LRM 175 4 0 18 Dec 2024
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 519 5 0 27 Aug 2024
Superposition for Lambda-Free Higher-Order Logic Alexander Bentkamp J. Blanchette Simon Cruanes Uwe Waldmann 78 37 0 05 May 2020
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 110 146 0 21 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 134 250 0 26 Apr 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 67 51 0 05 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 62 121 0 12 Mar 2019
A Comprehensive Survey on Graph Neural Networks Zonghan Wu Shirui Pan Fengwen Chen Guodong Long Chengqi Zhang Philip S. Yu FaML GNN AI4TS AI4CE 780 8,554 0 03 Jan 2019
How Powerful are Graph Neural Networks? Keyulu Xu Weihua Hu J. Leskovec Stefanie Jegelka GNN 243 7,681 0 01 Oct 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee Sanjit A. Seshia 68 38 0 20 Jul 2018
Relational inductive biases, deep learning, and graph networks Peter W. Battaglia Jessica B. Hamrick V. Bapst Alvaro Sanchez-Gonzalez V. Zambaldi ... Pushmeet Kohli M. Botvinick Oriol Vinyals Yujia Li Razvan Pascanu AI4CE NAI 764 3,129 0 04 Jun 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal Basel Alomair Ilya Sutskever 96 110 0 02 Jun 2018
Learning to Reason with HOL4 tactics Thibault Gauthier C. Kaliszyk Josef Urban 64 77 0 02 Apr 2018
Can Neural Networks Understand Logical Entailment? Richard Evans D. Saxton David Amos Pushmeet Kohli Edward Grefenstette NAI 174 128 0 23 Feb 2018
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 66 133 0 28 Sep 2017
Diffusion Convolutional Recurrent Neural Network: Data-Driven Traffic Forecasting Yaguang Li Rose Yu Cyrus Shahabi Yan Liu GNN DiffM AI4TS 99 100 0 06 Jul 2017
A simple neural network module for relational reasoning Adam Santoro David Raposo David Barrett Mateusz Malinowski Razvan Pascanu Peter W. Battaglia Timothy Lillicrap GNN NAI 189 1,615 0 05 Jun 2017
Neural Message Passing for Quantum Chemistry Justin Gilmer S. Schoenholz Patrick F. Riley Oriol Vinyals George E. Dahl 596 7,485 0 04 Apr 2017
Discovering objects and their relations from entangled scene representations David Raposo Adam Santoro David Barrett Razvan Pascanu Timothy Lillicrap Peter W. Battaglia GNN OCL 76 71 0 16 Feb 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 76 159 0 24 Jan 2017
Scalable Learning of Non-Decomposable Objectives Elad Eban Mariano Schain Alan Mackey A. Gordon R. Rifkin G. Elidan 36 110 0 16 Aug 2016
Gated Graph Sequence Neural Networks Yujia Li Daniel Tarlow Marc Brockschmidt R. Zemel GNN 347 3,285 0 17 Nov 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 2.0K 150,260 0 22 Dec 2014
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 86 162 0 29 Nov 2012