Copertina

Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Bocevska, Ivana, Tsukada, Takeshi, Unno, Hiroshi, Padon, Oded, Shoham, Sharon
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
di: Lotan, Raz, et al.
Pubblicazione: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
di: Kura, Satoshi, et al.
Pubblicazione: (2025)

Prism: Symbolic Superoptimization of Tensor Programs
di: Wu, Mengdi, et al.
Pubblicazione: (2026)

Clover: Closed-Loop Verifiable Code Generation
di: Sun, Chuyue, et al.
Pubblicazione: (2023)

Invariant Checking for SMT-based Systems with Quantifiers
di: Redondi, Gianluca, et al.
Pubblicazione: (2024)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
di: Elad, Neta, et al.
Pubblicazione: (2026)

Axe 'Em: Eliminating Spurious States with Induction Axioms
di: Elad, Neta, et al.
Pubblicazione: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
di: Lotan, Raz, et al.
Pubblicazione: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
di: Somech, Nir, et al.
Pubblicazione: (2025)

Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms
di: de Meijer, Frank, et al.
Pubblicazione: (2025)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
di: Lv, Kunhang, et al.
Pubblicazione: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
di: Kura, Satoshi, et al.
Pubblicazione: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
di: Kura, Satoshi, et al.
Pubblicazione: (2024)

An Efficient Quantum Factoring Algorithm
di: Regev, Oded
Pubblicazione: (2023)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
di: Elad, Neta, et al.
Pubblicazione: (2025)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
di: Lotan, Raz, et al.
Pubblicazione: (2024)

Programming Not Only by Example
di: Peleg, Hila, et al.
Pubblicazione: (2017)

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

A Local Search Algorithm for MaxSMT(LIA)
di: He, Xiang, et al.
Pubblicazione: (2024)

Full Definability in a Profunctorial Model
di: Tsukada, Takeshi, et al.
Pubblicazione: (2026)

Signature Restriction for Polymorphic Algebraic Effects
di: Sekiyama, Taro, et al.
Pubblicazione: (2020)

Hint-Based SMT Proof Reconstruction
di: Clune, Joshua, et al.
Pubblicazione: (2026)

HintSMT
di: Anonymous Authors
Pubblicazione: (2026)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

Duality of Hamiltonian and Lagrangian formulations for integrable systems
di: Vergallo, Pierandrea, et al.
Pubblicazione: (2026)

Hyperproperty-Preserving Register Specifications (Extended Version)
di: Shimon, Yoav Ben, et al.
Pubblicazione: (2024)

Towards Efficient Roadside LiDAR Deployment: A Fast Surrogate Metric Based on Entropy-Guided Visibility
di: Jiang, Yuze, et al.
Pubblicazione: (2025)

SMT-Based Active Learning of Weighted Automata
di: Ferreira, Tiago, et al.
Pubblicazione: (2026)

Modernizing SMT-Based Type Error Localization
di: Kopinsky, Max, et al.
Pubblicazione: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties
di: Bellamy, Gwyn, et al.
Pubblicazione: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Constraining Spacetime Dimensions in Quantum Gravity by Scale Invariance and Electric-Magnetic Duality
di: Morita, Takeshi
Pubblicazione: (2023)

SMT-Based Dynamic Multi-Robot Task Allocation
di: Tuck, Victoria Marie, et al.
Pubblicazione: (2024)

Quantifying measurement-induced quantum-to-classical crossover using an open-system entanglement measure
di: Carisch, Christian, et al.
Pubblicazione: (2023)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
di: Schuster, Philipp, et al.
Pubblicazione: (2025)