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.LO2025
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis +1
String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable re…
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…