From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning. - Zilong Wang; Jiongda Wang; Xiaoyong Chen; Meng Wang; Ming Ma; ZhiPeng Wang; Zhenyu Zhou; Tianming Yang; Wang-Zhou Dai (IJCAI, 2025)