Premise Selection for a Lean Hammer.
CoRR, June, 2025
miniCTX: Neural Theorem Proving with (Long-)Contexts.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025
Power Consumption Analysis of Parallel Algorithms on GPUs.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014