MizAR 40 for Mizar 40

10 October 2013

Papers citing "MizAR 40 for Mizar 40"

3 / 3 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 34 0 0 10 Mar 2025
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
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description C. Kaliszyk Josef Urban J. Vyskočil H. Geuvers 35 24 0 14 May 2014