🔗 Who cites «ENIGMA: Efficient Learning-based Inference Guiding Machine»

13 papers of our library cite it (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · ← back to «ENIGMA: Efficient Learning-based Inference Guiding Machine»

1. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for ELecture notes in computer scienceKarel Chvalovský, Jan Jakubův, Martin Suda, et al.2019 · 61 citations
2. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
3. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
4. 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
5. Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
6. Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations
7. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
8. Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicEPiC series in computingThibault Gauthier2019 · 15 citations
9. Learning to Prove from Synthetic TheoremsarXiv:2006.11259Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.2020 · 12 citations

4 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/jakubuv-2017-enigma-efficient-learning-based-inference/cited-by/