Rational polynomial solvability reduces to stratifiability of semilinear sets

arXiv:2610.27482 · cs.FL, cs.LO · Submitted 2026-10-20 · Read on arXiv

cs.FL, cs.LO

Submitted: 2026-10-20

Updated: 2026-10-20

Related papers

Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations
When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?