2 citations · 2 across the 7 of their papers we have counts for
7 papers
Disconnection Rules are Complete for Chemical Reactions
Ella Gale, Leo Lobski, Fabio Zanasi
We provide a category theoretical framework capturing two approaches to graph-based models of chemistry: formal reactions and disconnection rules. We model a translation from the l…
A Fibrational Theory of First Order Differential Structures
Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani +1
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of…
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva +1
We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions…
Deep Learning with Parametric Lenses
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani +2
We propose a categorical semantics for machine learning algorithms in terms of lenses, parametric maps, and reverse derivative categories. This foundation provides a powerful expla…
A Categorical Approach to DIBI Models
Tao Gu, Jialu Bao, Justin Hsu +2
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in pr…
A Categorical Model for Retrosynthetic Reaction Analysis
Ella Gale, Leo Lobski, Fabio Zanasi
We introduce a mathematical framework for retrosynthetic analysis, an important research method in synthetic chemistry. Our approach represents molecules and their interaction usin…