Creativity of AI: Automatic Symbolic Option Discovery for Facilitating Deep Reinforcement Learning. - Mu Jin; Zhihao Ma; Kebing Jin; Hankz Hankui Zhuo; Chen Chen 077; Chao Yu 004 (AAAI, 2022)