Image de couverture de livre

CHAD: Combinatory Homomorphic Automatic Differentiation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vákár, Matthijs, Smeding, Tom
Format:	Preprint
Publié:	2021
Sujets:	Programming Languages Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Higher Order Automatic Differentiation of Higher Order Functions
par: Huot, Mathieu, et autres
Publié: (2021)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Parallel Dual-Numbers Reverse AD
par: Smeding, Tom, et autres
Publié: (2022)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
par: Vákár, Matthijs
Publié: (2020)

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
par: Giusti, Giulia
Publié: (2025)

Automatic Differentiation for ML-family languages: correctness via logical relations
par: Nunes, Fernando Lucatelli, et autres
Publié: (2022)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
par: Franken, Tom T. P., et autres
Publié: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

Unraveling the iterative CHAD
par: Nunes, Fernando Lucatelli, et autres
Publié: (2025)

Homomorphism Problems in Graph Databases and Automatic Structures
par: Morvan, Rémi
Publié: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
par: Viennot, Jules, et autres
Publié: (2025)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Formalization of Differential Privacy in Isabelle/HOL
par: Sato, Tetsuya, et autres
Publié: (2024)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
par: Barthe, Gilles, et autres
Publié: (2025)

SuperDP: Differential Privacy Refutation via Supermartingales
par: Chatterjee, Krishnendu, et autres
Publié: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
par: Timany, Amin, et autres
Publié: (2021)

A Formal Semantics of the GraalVM Intermediate Representation
par: Webb, Brae J., et autres
Publié: (2021)

Type-Based Termination for Futures
par: Somayyajula, Siva, et autres
Publié: (2021)

Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2021)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
par: de Vilhena, Paulo Emílio, et autres
Publié: (2021)

A beginner guide to Iris, Coq and separation logic
par: Dietrich, Elizabeth
Publié: (2021)

Disentangling Parallelism and Interference in Game Semantics
par: Castellan, Simon, et autres
Publié: (2021)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

Internalizing Representation Independence with Univalence
par: Angiuli, Carlo, et autres
Publié: (2020)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
par: Barwell, Adam D., et autres
Publié: (2023)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

Positive Sharing and Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
par: Kobayashi, Kentaro, et autres
Publié: (2025)

CSLib: The Lean Computer Science Library
par: Barrett, Clark, et autres
Publié: (2026)

Recursive Mutexes in Separation Logic
par: Du, Ke, et autres
Publié: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
par: Zhang, Cheng, et autres
Publié: (2026)

Symmetric Proofs of Parameterized Programs
par: Cheng, Ruotong, et autres
Publié: (2026)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
par: Elad, Neta, et autres
Publié: (2025)

Can LLMs Perform Synthesis?
par: Egolf, Derek, et autres
Publié: (2026)