HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games - Liang, Jingcong; Wan, Shijun; Wu, Xuehai; Li, Yitong; Chen, Qianglong; Tang, Duyu; Wang, Siyuan; wei, zhongyu (International Conference on Learning Representations, 2026)