🔗 Who cites «ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E»

14 papers of our library cite it (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · ← back to «ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E»

1. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
2. ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)Lecture notes in computer scienceJan Jakubův, Karel Chvalovský, Miroslav Olšák, et al.2020 · 42 citations
3. First Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citations
4. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
5. Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations
6. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
7. Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicEPiC series in computingThibault Gauthier2019 · 15 citations
8. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations

6 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/chvalovsky-2019-enigma-ng-efficient-neural-gradient/cited-by/