$ω$ PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

21 February 2023

Papers citing "$ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs"

1 / 1 papers shown

Title
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters Wonyeol Lee Sejun Park A. Aiken PINN 18 6 0 31 Jan 2023