Pages that link to "Item:Q2200831"
From MaRDI portal
The following pages link to Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831):
Displayed 8 items.
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- (Q5094126) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)