🔗 Who cites «Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory»

4 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 «Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory»

1. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
2. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations

2 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/clune-2024-duper-proof-producing-superposition-theorem/cited-by/