most citedVerifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 3 cited

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

Paulo Emílio de Vilhena, François Pottier

We apply program verification technology to the problem of specifying and verifying automatic differentiation (AD) algorithms. We focus on define-by-run, a style of AD where the pr…