Thomas Zhu

According to our database, Thomas Zhu authored at least 3 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Premise Selection for a Lean Hammer.

Thomas Zhu, Joshua Clune, Jeremy Avigad, Albert Qiaochu Jiang, Sean Welleck

CoRR, June, 2025

miniCTX: Neural Theorem Proving with (Long-)Contexts.

Jiewen Hu, Thomas Zhu, Sean Welleck

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2014

Power Consumption Analysis of Parallel Algorithms on GPUs.

Frédéric Magoulès, Abal-Kassim Cheik Ahamed, Alban Desmaison, Jean-Christophe Léchenet, François Mayer, Haifa Ben Salem, Thomas Zhu

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014