Pages that link to "Item:Q1029813"
From MaRDI portal
The following pages link to Nesting forward-mode AD in a functional framework (Q1029813):
Displaying 13 items.
- Zero variance differential geometric Markov chain Monte Carlo algorithms (Q899008) (← links)
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Landau: a language for dynamical systems with automatic differentiation (Q2211305) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- A Hitchhiker's guide to automatic differentiation (Q2630759) (← links)
- Polynomial Functors Constrained by Regular Expressions (Q2941172) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- (Q4558473) (← links)
- Divide-and-conquer checkpointing for arbitrary programs with no user annotation (Q4685610) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- (Q5094126) (← links)
- Unified form language (Q5498685) (← links)
- Zero coordinate shift: whetted automatic differentiation for physics-informed operator learning (Q6497254) (← links)
