🔗 Who cites «Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic»

4 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 «Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic»

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. First Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citations
4. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations

This page in Markdown → https://md.research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/cited-by/