22 citations · 103 across the 26 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022★ 1 cited
Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion
Dylan Braithwaite, Jules Hedges
We generalise an existing construction of Bayesian Lenses to admit lenses between pairs of objects where the backwards object is dependent on states on the forwards object (interpr…
math.CT2022★ 2 cited
Value Iteration is Optic Composition
Jules Hedges, Riu Rodríguez Sakamoto
Dynamic programming is a class of algorithms used to compute optimal control policies for Markov decision processes. Dynamic programming is ubiquitous in control theory, and is als…