Copertina

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bayarmagnai, Erdenebayar, Mohammadi, Fatemeh, Prébet, Rémi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation Algebraic Geometry
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
di: Liwski, Emiliano, et al.
Pubblicazione: (2025)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
di: Prébet, Rémi, et al.
Pubblicazione: (2024)

A proof of the Brill-Noether method from scratch
di: Berardini, Elena, et al.
Pubblicazione: (2022)

Geometric Generality of Transformer-Based Gröbner Basis Computation
di: Kambe, Yuta, et al.
Pubblicazione: (2025)

Solving generic parametric linear matrix inequalities
di: Naldi, Simone, et al.
Pubblicazione: (2025)

Connection Matrices in Macaulay2
di: Görlach, Paul, et al.
Pubblicazione: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
di: Hong, Hoon, et al.
Pubblicazione: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
di: Oaku, Toshinori
Pubblicazione: (2026)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
di: Bender, Matías, et al.
Pubblicazione: (2023)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
di: Hong, Hoon, et al.
Pubblicazione: (2023)

Solving parameter-dependent semi-algebraic systems
di: Gaillard, Louis, et al.
Pubblicazione: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
di: Pogudin, Gleb
Pubblicazione: (2024)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
di: Telek, Máté L.
Pubblicazione: (2023)

Computing the connected components of real algebraic curves
di: Rocchi, Elisabetta, et al.
Pubblicazione: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
di: Berthomieu, Jérémy, et al.
Pubblicazione: (2026)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
di: Riener, Cordian., et al.
Pubblicazione: (2025)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
di: Magron, Victor, et al.
Pubblicazione: (2020)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
di: Vu, Thi Xuan
Pubblicazione: (2025)

On the complexity of Chow and Hurwitz forms
di: Doğan, Mahmut Levent, et al.
Pubblicazione: (2022)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
di: Vu, Thi Xuan
Pubblicazione: (2026)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
di: Zeng, Zhenbing, et al.
Pubblicazione: (2025)

Efficient Tensor Decomposition via Moment Matrix Extension
di: Shi, Bobby, et al.
Pubblicazione: (2025)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
di: Srivastava, Karan, et al.
Pubblicazione: (2025)

Brackets and Projective Geometry in Macaulay2
di: Bidleman, Dalton, et al.
Pubblicazione: (2025)

Reinforcement Learning for Power-Flow Network Analysis
di: Ergur, Alperen, et al.
Pubblicazione: (2026)

Some explicit arithmetic on curves of genus three and their applications
di: Moriya, Tomoki, et al.
Pubblicazione: (2022)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
di: Kudo, Momonari, et al.
Pubblicazione: (2024)

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
di: Kudo, Momonari, et al.
Pubblicazione: (2024)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry
di: Vaccon, Tristan, et al.
Pubblicazione: (2024)

A priori bounds for certified Krawczyk homotopy tracking
di: Lee, Kisun
Pubblicazione: (2025)

Projecting dynamical systems via a support bound
di: Mukhina, Yulia, et al.
Pubblicazione: (2025)

Support bound for differential elimination in polynomial dynamical systems
di: Mukhina, Yulia, et al.
Pubblicazione: (2025)

Certifying Galois/monodromy Actions via Homotopy Graphs
di: Duff, Timothy, et al.
Pubblicazione: (2026)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
di: Paouris, Grigoris, et al.
Pubblicazione: (2019)

Trinomials and Deterministic Complexity Limits for Real Solving
di: Boniface, Emma, et al.
Pubblicazione: (2022)

Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors
di: Grochow, Joshua A., et al.
Pubblicazione: (2025)

Border Bases in the Rational Weyl Algebra
di: Rodriguez, Carlos, et al.
Pubblicazione: (2025)