A Study of Continuous Vector Representationsfor Theorem Proving

22 January 2021

Papers citing "A Study of Continuous Vector Representationsfor Theorem Proving"

3 / 3 papers shown

Title
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 18 1 0 06 Sep 2022
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 101 36 0 15 Nov 2019
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 132 0 10 Oct 2013