Picture for James Clift

James Clift

Geometry of Program Synthesis

Add code
Mar 30, 2021
Figure 1 for Geometry of Program Synthesis
Figure 2 for Geometry of Program Synthesis
Figure 3 for Geometry of Program Synthesis
Figure 4 for Geometry of Program Synthesis
Viaarxiv icon

Logic and the $2$-Simplicial Transformer

Add code
Sep 02, 2019
Figure 1 for Logic and the $2$-Simplicial Transformer
Figure 2 for Logic and the $2$-Simplicial Transformer
Figure 3 for Logic and the $2$-Simplicial Transformer
Figure 4 for Logic and the $2$-Simplicial Transformer
Viaarxiv icon