🧑🔬 Thomas Zhu — papers of 2025 — 1 paper, the most cited first1 paper · all years of Thomas ZhuPremise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/thomas-zhu/year/2025/