ResearchTrend.AI
Premise selection with neural networks and distributed representation of features

Premise selection with neural networks and distributed representation of features

Andrzej S. Kucik
Konstantin Korovin
ArXiv (abs)PDFHTML

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

3 / 3 papers shown
Title
Stateful Premise Selection by Recurrent Neural Networks
Stateful Premise Selection by Recurrent Neural Networks
Bartosz Piotrowski
Josef Urban
LRM
56
21
0
11 Mar 2020
Property Invariant Embedding for Automated Reasoning
Property Invariant Embedding for Automated Reasoning
Miroslav Olsák
C. Kaliszyk
Josef Urban
NAI
69
41
0
27 Nov 2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
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
NAIAI4CEGNN
174
36
0
15 Nov 2019