research
∙
10/16/2022
Logical Relations for Partial Features and Automatic Differentiation Correctness
We present a simple technique for semantic, open logical relations argum...
share
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
∙
10/01/2021
