:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bocevska, Ivana, Tsukada, Takeshi, Unno, Hiroshi, Padon, Oded, Shoham, Sharon
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19860162
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

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

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

An Efficient Quantum Factoring Algorithm
by: Regev, Oded
Published: (2023)

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

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

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

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

HintSMT
by: Anonymous Authors
Published: (2026)

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

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

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

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

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

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

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

Mirage: A Multi-Level Superoptimizer for Tensor Programs
by: Wu, Mengdi, et al.
Published: (2024)

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

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

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