5 citations · 6 across the 2 of their papers we have counts for
4 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…