6 citations · 20 across the 7 of their papers we have counts for
7 papers
Geometry of Program Synthesis
James Clift, Daniel Murfet, James Wallbridge
We re-evaluate universal computation based on the synthesis of Turing machines. This leads to a view of programs as singularities of analytic varieties or, equivalently, as phases…
Transformers for Limit Order Books
James Wallbridge
We introduce a new deep learning architecture for predicting price movements from limit order books. This architecture uses a causal convolutional network for feature extraction in…
Logic and the -Simplicial Transformer
James Clift, Dmitry Doryn, Daniel Murfet +1
We introduce the -simplicial Transformer, an extension of the Transformer which includes a form of higher-dimensional attention generalising the dot-product attention, and uses…
Jets and differential linear logic
James Wallbridge
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear log…
Derived smooth stacks and prequantum categories
James Wallbridge
The Weil-Kostant integrality theorem states that given a smooth manifold endowed with an integral complex closed 2-form, then there exists a line bundle with connection on this man…
Homotopy theory in a quasi-abelian category
James Wallbridge
We prove that the category of dg-modules and dg-algebras in a Grothendieck quasi-abelian category are endowed with a Quillen model structure. This allows some flexibility in settin…
Tannaka duality over ring spectra
James Wallbridge
We prove a Tannaka duality theorem for -categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric mono…