🧑‍🔬 Who cites Joshua Clune

8 citations of their works from 8 papers of our library (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← Joshua Clune

1. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
2. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
3. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations

5 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/joshua-clune/cited-by/