3 papers
cs.LG2025
Convergence for Discrete Parameter Update Schemes
Paul Wilson, Fabio Zanasi, George Constantinides
Modern deep learning models require immense computational resources, motivating research into low-precision training. Quantised training addresses this by representing training com…
cs.LO2024
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…
math.CT2024
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…