research
∙
03/30/2021
Geometry of Program Synthesis
We re-evaluate universal computation based on the synthesis of Turing ma...
research
∙
09/02/2019
Logic and the 2-Simplicial Transformer
We introduce the 2-simplicial Transformer, an extension of the Transform...
research
∙
11/15/2018