:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Viola, Cosmo, Fan, Max, Ringer, Talia
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2310.06959
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
by: Zhang, Dylan, et al.
Published: (2024)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
by: Hu, Jilin, et al.
Published: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
by: Sanchez-Stern, Alex, et al.
Published: (2024)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
by: Britton, Matthew, et al.
Published: (2026)

ExVerus: Verus Proof Repair via Counterexample Reasoning
by: Yang, Jun, et al.
Published: (2026)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

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

Refuting Equivalence in Probabilistic Programs with Conditioning
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Interaction Equivalence
by: Accattoli, Beniamino, et al.
Published: (2024)

A Natural Formalized Proof Language
by: Xie, Lihan, et al.
Published: (2024)

Automating Equational Proofs in Dirac Notation
by: Xu, Yingte, et al.
Published: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

Adaptive Shielding via Parametric Safety Proofs
by: Feng, Yao, et al.
Published: (2025)

Agentic Proof Automation: A Case Study
by: Xu, Yichen, et al.
Published: (2026)

Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
by: Enea, Constantin, et al.
Published: (2023)

Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
by: Kent, Zachary, et al.
Published: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

Parametrizing Reads-From Equivalence for Predictive Monitoring
by: Farzan, Azadeh, et al.
Published: (2026)

Grammar Repair with Examples and Tree Automata: Extended Version
by: Lee, Yunjeong, et al.
Published: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
by: Conoly, Owen, et al.
Published: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

Coinductive Proofs for Temporal Hyperliveness
by: Correnson, Arthur, et al.
Published: (2025)

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
by: Young, Halley
Published: (2026)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)