Fuqi Jia, Yuhang Dong, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang. Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]
Abstract is missing.