22 citations · 74 across the 11 of their papers we have counts for
13 papers
Translating Extensive Form Games to Open Games with Agency
Matteo Capucci, Neil Ghani, Jérémy Ledent +1
We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion…
Categorical Foundations of Gradient-Based Learning
G. S. H. Cruttwell, Bruno Gavranović, Neil Ghani +2
We propose a categorical semantics of gradient-based machine learning algorithms in terms of lenses, parametrised maps, and reverse derivative categories. This foundation provides…
Compositional Game Theory, Compositionally
Robert Atkey, Bruno Gavranović, Neil Ghani +3
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules,…
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
Neil Ghani, Clemens Kupke, Alasdair Lambert +1
We extend the open games framework for compositional game theory to encompass also mixed strategies, making essential use of the discrete probability distribution monad. We show th…
Three Equivalent Ordinal Notation Systems in Cubical Agda
Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani
We present three ordinal notation systems representing ordinals below in type theory, using recent type-theoretical innovations such as mutual inductive-inductive d…
A Compositional Treatment of Iterated Open Games
Neil Ghani, Clemens Kupke, Alasdair Lambert +1
Compositional Game Theory is a new, recently introduced model of economic games based upon the computer science idea of compositionality. In it, complex and irregular games can be…