miniCTX: Neural Theorem Proving with (Long-)Contexts - Hu, Jiewen; Zhu, Thomas; Welleck, Sean (International Conference on Learning Representations, 2025)