Zhu, Thomas

3 publications

ICLR 2026 Premise Selection for a Lean Hammer Thomas Zhu, Joshua Clune, Jeremy Avigad, Albert Q. Jiang, Sean Welleck

ICLR 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu, Thomas Zhu, Sean Welleck

NeurIPSW 2024 miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu, Thomas Zhu, Sean Welleck