Premise selection with neural networks and distributed representation of features

26 July 2018

Papers citing "Premise selection with neural networks and distributed representation of features"

3 / 3 papers shown

Title
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 54 21 0 11 Mar 2020
Property Invariant Embedding for Automated Reasoning Miroslav Olsák C. Kaliszyk Josef Urban NAI 66 41 0 27 Nov 2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Mayank Agarwal Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 174 36 0 15 Nov 2019