RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics - Zhang, Jie; Petrui, Cezara; Nikolić, Kristina; Tramer, Florian (Advances in Neural Information Processing Systems, 2025)