@misc{indiciae72a074a2b5b9,
  title = {Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition},
  author = {Rui-Juan Jing and Yuegang Zhao and Changbo Chen},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13731},
  note = {Source identifier: 2601.13731}
}