Graph Representations for Higher-Order Logic and Theorem Proving

Graph Representations for Higher-Order Logic and Theorem Proving

24 May 2019

Aditya Sanjay Paliwal

Christian Szegedy

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

12 / 12 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 26 0 0 27 Apr 2025
Activation Steering in Neural Theorem Provers Shashank Kirtania LLMSV 70 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 98 1 0 18 Dec 2024
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 32 2 0 27 Aug 2024
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling D. Dhami Kristian Kersting NAI 19 6 0 03 Jul 2023
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices Jingyi Xu Tushar Vaidya Y. Blankenship Saket Chandra Zhangsheng Lai Kai Fong Ernest Chong 33 8 0 21 Mar 2023
Gym-saturation: an OpenAI Gym environment for saturation provers Boris Shminke AIMat LRM 9 3 0 09 Mar 2022
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 12 6 0 19 Oct 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 8 120 0 11 Feb 2021
Superposition for Lambda-Free Higher-Order Logic Alexander Bentkamp J. Blanchette Simon Cruanes Uwe Waldmann 15 36 0 05 May 2020
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling M. Crouse Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 93 36 0 15 Nov 2019
Diffusion Convolutional Recurrent Neural Network: Data-Driven Traffic Forecasting Yaguang Li Rose Yu Cyrus Shahabi Yan Liu GNN DiffM AI4TS 42 97 0 06 Jul 2017