5 citations · 6 across the 2 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 1 cited
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…
cs.LG2019
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…