Logic and linear algebra: an introduction. - Daniel Murfet (CoRR, 2014)

Logic and the 2-Simplicial Transformer. - James Clift; Dmitry Doryn; Daniel Murfet; James Wallbridge (ICLR, 2020)

Gentzen-Mints-Zucker duality. - Daniel Murfet; William Troiani (CoRR, 2020)

Encodings of Turing machines in linear logic. - James Clift; Daniel Murfet (Math. Struct. Comput. Sci., 2020)

Cofree coalgebras and differential linear logic. - James Clift; Daniel Murfet (Math. Struct. Comput. Sci., 2020)

Geometry of Program Synthesis. - James Clift; Daniel Murfet; James Wallbridge (CoRR, 2021)

Elimination and cut-elimination in multiplicative linear logic. - Daniel Murfet; William Troiani (CoRR, 2022)

Quantifying degeneracy in singular models via the learning coefficient. - Edmund Lau; Daniel Murfet; Susan Wei (CoRR, 2023)

Dynamical versus Bayesian Phase Transitions in a Toy Model of Superposition. - Zhongtian Chen; Edmund Lau; Jake Mendel; Susan Wei; Daniel Murfet (CoRR, 2023)

Deep Learning Is Singular, and That's Good. - Susan Wei; Daniel Murfet; Mingming Gong; Hui Li; Jesse Gell-Redman; Thomas Quella (IEEE Trans. Neural Networks Learn. Syst., 2023)

The Developmental Landscape of In-Context Learning. - Jesse Hoogland; George Wang; Matthew Farrugia-Roberts; Liam Carroll; Susan Wei; Daniel Murfet (CoRR, 2024)