Daniel Murfet

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Program Synthesis

Top Venues

Math. Struct. Comput. Sci.

IEEE Trans. Neural Networks Learn. Syst.

Publications

Jesse Hoogland, George Wang, Matthew Farrugia-Roberts, Liam Carroll, Susan Wei, Daniel Murfet
The Developmental Landscape of In-Context Learning. CoRR (2024)
Susan Wei, Daniel Murfet, Mingming Gong, Hui Li, Jesse Gell-Redman, Thomas Quella
Deep Learning Is Singular, and That's Good. IEEE Trans. Neural Networks Learn. Syst. 34 (12) (2023)
Zhongtian Chen, Edmund Lau, Jake Mendel, Susan Wei, Daniel Murfet
Dynamical versus Bayesian Phase Transitions in a Toy Model of Superposition. CoRR (2023)
Edmund Lau, Daniel Murfet, Susan Wei
Quantifying degeneracy in singular models via the learning coefficient. CoRR (2023)
Daniel Murfet, William Troiani
Elimination and cut-elimination in multiplicative linear logic. CoRR (2022)
James Clift, Daniel Murfet, James Wallbridge
Geometry of Program Synthesis. CoRR (2021)
James Clift, Daniel Murfet
Cofree coalgebras and differential linear logic. Math. Struct. Comput. Sci. 30 (4) (2020)
James Clift, Daniel Murfet
Encodings of Turing machines in linear logic. Math. Struct. Comput. Sci. 30 (4) (2020)
James Clift, Dmitry Doryn, Daniel Murfet, James Wallbridge
Logic and the 2-Simplicial Transformer. ICLR (2020)
Daniel Murfet, Susan Wei, Mingming Gong, Hui Li, Jesse Gell-Redman, Thomas Quella
Deep Learning is Singular, and That's Good. CoRR (2020)
Daniel Murfet, William Troiani
Gentzen-Mints-Zucker duality. CoRR (2020)
James Clift, Dmitry Doryn, Daniel Murfet, James Wallbridge
Logic and the 2-Simplicial Transformer. CoRR (2019)
James Clift, Daniel Murfet
Cofree coalgebras and differential linear logic. CoRR (2017)
Daniel Murfet
Logic and linear algebra: an introduction. CoRR (2014)