TY  - RPRT
TI  - Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
AU  - Rui-Juan Jing
AU  - Yuegang Zhao
AU  - Changbo Chen
PY  - 2026
UR  - https://arxiv.org/abs/2601.13731
ID  - 2601.13731
ER  -