🔗 Who cites «Learning to Prove from Synthetic Theorems»

5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «Learning to Prove from Synthetic Theorems»

1. Language Models Can Teach Themselves to Program BetterarXiv:2207.14502Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai2023 · 54 citations
2. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations

3 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/aygun-2020-learning-prove-synthetic-theorems/cited-by/