research
∙
07/07/2023
Efficient CHAD
We show how the basic Combinatory Homomorphic Automatic Differentiation ...
share
research
∙
10/16/2022
Logical Relations for Partial Features and Automatic Differentiation Correctness
We present a simple technique for semantic, open logical relations argum...
research
∙
10/14/2022
Automatic Differentiation for ML-family languages: correctness via logical relations
We give a simple, direct and reusable logical relations technique for la...
research
∙
07/07/2022
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
Where dual-numbers forward-mode automatic differentiation (AD) pairs eac...
research
∙
05/23/2022
Dual-Numbers Reverse AD, Efficiently
Where dual-numbers forward-mode automatic differentiation (AD) pairs eac...
research
∙
10/01/2021
CHAD for Expressive Total Languages
We show how to apply forward and reverse mode Combinatory Homomorphic Au...
research
∙
03/29/2021
CHAD: Combinatory Homomorphic Automatic Differentiation
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a...
research
∙
01/17/2021
Higher Order Automatic Differentiation of Higher Order Functions
We present semantic correctness proofs of automatic differentiation (AD)...
research
∙
10/22/2020
Conditional independence by typing
A central goal of probabilistic programming languages (PPLs) is to separ...
research
∙
08/21/2020
Transforming Probabilistic Programs for Model Checking
Probabilistic programming is perfectly suited to reliable and transparen...
research
∙
07/10/2020
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
We show how to define source-code transformations for forward- and rever...
research
∙
07/10/2020
Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion
We present semantic correctness proofs of forward-mode Automatic Differe...
research
∙
01/07/2020
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
We present semantic correctness proofs of Automatic Differentiation (AD)...
research
∙
05/21/2019
Slamming the sham: A Bayesian model for adaptive adjustment with noisy control data
It is not always clear how to adjust for control data in causal inferenc...
research
∙
11/10/2018
A Domain Theory for Statistical Probabilistic Programming
We give an adequate denotational semantics for languages with recursive ...
research
∙
11/09/2017