OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics. - Yaoming Zhu; Junxin Wang; Yiyang Li; Lin Qiu; ZongYu Wang; Jun Xu; Xuezhi Cao; Yuhuai Wei; Mingshi Wang; Xunliang Cai; Rong Ma (CoRR, 2025)