research
∙
05/09/2023
Policy Gradient Methods in the Presence of Symmetries and State Abstractions
Reinforcement learning on high-dimensional and complex problems relies o...
share
research
∙
02/02/2023
Propositional Logics for the Lawvere Quantale
Lawvere showed that generalised metric spaces are categories enriched ov...
research
∙
12/22/2022
Sum and Tensor of Quantitative Effects
Inspired by the seminal work of Hyland, Plotkin, and Power on the combin...
research
∙
09/15/2022
Continuous MDP Homomorphisms and Homomorphic Policy Gradient
Abstraction has been widely studied as a way to improve the efficiency a...
research
∙
08/16/2022
Riemannian Diffusion Models
Diffusion models are recent state-of-the-art methods for image generatio...
research
∙
12/12/2021
Interpreting Lambda Calculus in Domain-Valued Random Variables
We develop Boolean-valued domain theory and show how the lambda-calculus...
research
∙
09/03/2021
Proceedings 17th International Conference on Quantum Physics and Logic
This volume contains the proceedings of the 17th International Conferenc...
research
∙
06/30/2021
Fixed-Points for Quantitative Equational Logics
We develop a fixed-point extension of quantitative equational logic and ...
research
∙
06/05/2021
Extracting Weighted Automata for Approximate Minimization in Language Modelling
In this paper we study the approximate minimization problem for language...
research
∙
11/26/2020
Universal Semantics for the Stochastic Lambda-Calculus
We define sound and adequate denotational and operational semantics for ...
research
∙
11/03/2020
A Study of Policy Gradient on a Class of Exactly Solvable Models
Policy gradient methods are extensively used in reinforcement learning a...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
03/27/2020
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms
We present a distributional approach to theoretical analyses of reinforc...
research
∙
02/15/2020
Latent Variable Modelling with Hyperbolic Normalizing Flows
The choice of approximate posterior distributions plays a central role i...
research
∙
04/01/2019
Bisimulation for Feller-Dynkin Processes
Bisimulation is a concept that captures behavioural equivalence. It has ...
research
∙
04/05/2018
On the Axiomatizability of Quantitative Algebras
Quantitative algebras (QAs) are algebras over metric spaces defined by q...
research
∙
02/20/2018
Free complete Wasserstein algebras
We present an algebraic account of the Wasserstein distances W_p on comp...
research
∙
12/28/2014
Proceedings of the 11th workshop on Quantum Physics and Logic
This volume contains the proceedings of the 11th International Workshop ...
research
∙
07/11/2012
Metrics for Finite Markov Decision Processes
We present metrics for measuring the similarity of states in a finite Ma...
research
∙
07/04/2012