LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming? - Zheng, Zihan; Cheng, Zerui; Shen, Zeyu; Zhou, Shang; Liu, Kaiyuan; He, Hansen; Li, Dongruixuan; Wei, Stanley; Hao, Hangyi; Yao, Jianzhu; Sheng, Peiyao; Wang, Zixuan; et al. (Advances in Neural Information Processing Systems, 2025)