James Wallbridge

Orcid: 0000-0002-2946-295X

According to our database¹, James Wallbridge authored at least 3 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Geometry of Program Synthesis.

[DOI]

CoRR, 2021

2020

Jets and differential linear logic.

[DOI]

Math. Struct. Comput. Sci., 2020

Logic and the 2-Simplicial Transformer.

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020