Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning

Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma +1 more
2/12/2026

No confident code implementation found for this paper.

DOISemantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Reducing Balancing Error for Causal Inference via Optimal Transport

100% match1 repo22026

Harnessing Heterogeneous Statistical Strength for Personalized Federated Learning via Hierarchical Bayesian Inference

100% match1 repo22026

Enhancing Contrastive Learning for Ordinal Regression via Ordinal Content Preserved Data Augmentation

99% match2026

Learning Condensed Graph via Differentiable Atom Mapping for Reaction Yield Prediction

99% match2026

Protein Representation Learning via Knowledge Enhanced Primary Structure Reasoning

93% match1 repo282026

Bayesian Optimization via Continual Variational Last Layer Training

93% match2026

Cite this paper

@article{jia2026suggesting,
  title  = {Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning},
  author = {Fuqi Jia and Yuhang Dong and Minghao Liu and Pei Huang and Feifei Ma and Jian Zhang},
  year   = {2026},
  doi    = {10.52202/075280-3325},
  url    = {https://doi.org/10.52202/075280-3325},
  journal = {NEURIPS 2023 2023}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1e9a470760b59f4f3e56531d377faa1ab2dd8d62.svg)](https://codeofpaper.com/paper/1e9a470760b59f4f3e56531d377faa1ab2dd8d62)

Discussion