Generalized Strategy Synthesis of Infinite-state Impartial Combinatorial Games via Exact Binary Classification. - Liangda Fang; Meihong Yang; Dingliang Cheng; Yunlai Hao; Quanlong Guan; Liping Xiong (AAMAS, 2024)