TY  - RPRT
TI  - From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
AU  - Erdenebayar Bayarmagnai
AU  - Fatemeh Mohammadi
AU  - Rémi Prébet
PY  - 2025
UR  - https://arxiv.org/abs/2509.25114
ID  - 2509.25114
ER  -