research
∙
01/25/2022
Full abstraction for digital circuits
This paper refines the existing axiomatic semantics of digital circuits ...
share
research
∙
07/28/2021
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
research
∙
10/09/2020
Reparametrizing gradient descent
In this work, we propose an optimization algorithm which we call norm-ad...
research
∙
04/24/2019
The differential calculus of causal functions
Causal functions of sequences occur throughout computer science, from th...
research
∙
03/04/2019
Differentiable Causal Computations via Delayed Trace
We investigate causal computations taking sequences of inputs to sequenc...
research
∙
03/01/2019
Relational Differential Dynamic Logic
In the field of quality assurance of hybrid systems (that combine contin...
research
∙
09/25/2018
Quantitative bisimulations using coreflections and open morphisms
We investigate a canonical way of defining bisimilarity of systems when ...
research
∙
03/25/2018
