4 papers
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial i…
Beyond Affine Loops: A Geometric Approach to Program Synthesis
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial i…
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consi…
Single-cell 3D genome reconstruction in the haploid setting using rigidity theory
Sean Dewar, Georg Grasegger, Kaie Kubjas +2
This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We c…