Image de couverture de livre

Proving Functional Program Equivalence via Directed Lemma Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sun, Yican, Ji, Ruyi, Fang, Jian, Jiang, Xuanlin, Chen, Mingshuai, Xiong, Yingfei
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Equality Saturation Guided by Large Language Models
par: Peng, Wentao, et autres
Publié: (2025)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
par: Ji, Ruyi, et autres
Publié: (2022)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
par: Huang, Zhechong, et autres
Publié: (2025)

On Reasoning-Centric LLM-based Automated Theorem Proving
par: Sun, Yican, et autres
Publié: (2026)

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
par: Fang, Jian, et autres
Publié: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
par: Klinkenberg, Lutz, et autres
Publié: (2023)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
par: Amtoft, Torben, et autres
Publié: (2024)

On Propositional Program Equivalence (extended abstract)
par: Kappé, Tobias
Publié: (2025)

Agentic Proving for Program Verification
par: Sosso, Alessandro, et autres
Publié: (2026)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
par: Xin, Yutong, et autres
Publié: (2025)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

(Dis)Proving Spectre Security with Speculation-Passing Style
par: Arranz-Olmos, Santiago, et autres
Publié: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
par: Corrales-Garro, Francini, et autres
Publié: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

Finite Functional Programming
par: Arntzenius, Michael, et autres
Publié: (2026)

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
par: Xu, Qiyuan, et autres
Publié: (2025)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
par: Wei, Anjiang, et autres
Publié: (2025)

Proving Confluence in the Confluence Framework with CONFident
par: Gutiérrez, Raúl, et autres
Publié: (2023)

Automated Theorem Proving for Prolog Verification
par: Mesnard, Fred, et autres
Publié: (2026)

Reactive Programming without Functions
par: Oeyen, Bjarno, et autres
Publié: (2024)

Debugging Functional Programs by Interpretation
par: Whitington, John
Publié: (2024)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
par: Britton, Matthew, et autres
Publié: (2026)

Functional Programming in Learning Electromagnetic Theory
par: Walck, Scott N.
Publié: (2024)

Going Bananas! - Unfolding Program Synthesis with Origami
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Sound Interval-Based Synthesis for Probabilistic Programs
par: Espada, Guilherme, et autres
Publié: (2025)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

A Direct-Style Effect Notation for Sequential and Parallel Programs
par: Richter, David, et autres
Publié: (2023)

Equivalence Checking of ML GPU Kernels
par: Dubey, Kshitij, et autres
Publié: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)