Vol-4275⫷ Vol-4276 ⫸Vol-4277
urn:nbn:de:0074-4276-0


Vol-4276/paper1⫷Vol-4276/paper2⫸Vol-4276/paper3
Alex Raymond HymanFilip SmolaMark ChevallierJacques D. Fleuriot

IsaGrad: Verified Automatic Differentiation over Computational Graphs in Imperative HOL