Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning - Jia, Fuqi; Dong, Yuhang; Liu, Minghao; Huang, Pei; Ma, Feifei; Zhang, Jian (Advances in Neural Information Processing Systems, 2023)