Cover Image

Linear Loop Synthesis for Quadratic Invariants

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hitarth, S., Kenison, George, Kovács, Laura, Varonka, Anton
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

Simple Linear Loops: Algebraic Invariants and Applications
by: Manssour, Rida Ait El, et al.
Published: (2024)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
by: Bacik, Piotr, et al.
Published: (2026)

Optimization Modulo Integer Linear-Exponential Programs
by: Hitarth, S, et al.
Published: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
by: Bayer, Jonas, et al.
Published: (2025)

The Skolem Problem in rings of positive characteristic
by: Dong, Ruiwen, et al.
Published: (2025)

Formalising the Bruhat-Tits Tree
by: Ludwig, Judith, et al.
Published: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

Model Checking Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2021)

Formalizing zeta and L-functions in Lean
by: Loeffler, David, et al.
Published: (2025)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
by: Best, Alex, et al.
Published: (2024)

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Program Synthesis in Saturation
by: Hozzová, Petra, et al.
Published: (2024)

Scaling CheckMate for Game-Theoretic Security
by: Rain, Sophie, et al.
Published: (2024)

The Statement of Mochizuki's Corollary 3.12: Initial Theta Data
by: Dupuy, Taylor, et al.
Published: (2020)

Progress in Formalizing Sphere Packing in Dimension 8
by: Hariharan, Sidharth, et al.
Published: (2026)

Completeness of Synthesis under Realizability Assumptions using Superposition
by: Hajdu, Márton, et al.
Published: (2026)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

On Deciding Constant Runtime of Linear Loops
by: Frohn, Florian, et al.
Published: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
by: Jiang, Hongjian, et al.
Published: (2025)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
by: Letouzey, Pierre
Published: (2025)

Synthesis Benchmarks for Automated Reasoning
by: Hajdu, Márton, et al.
Published: (2025)

Positive characteristic Ax-Schanuel
by: Kowalski, Piotr
Published: (2023)

A Comparison of Gauge Dimension and Effective Dimension
by: Miao, Yiping
Published: (2026)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)

Decidability via the tilting correspondence
by: Kartas, Konstantinos
Published: (2020)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Counting rational points on transcendental curves in valued fields
by: Vermeulen, Floris
Published: (2025)