🔗 Who cites «ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)»

5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · ← back to «ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)»

1. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
2. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
3. Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations
4. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations

1 more paper of our library cites it; it has no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/jakubuv-2020-enigma-anonymous-symbol-independent-inference/cited-by/