Patrick Lutz

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Fault Diagnosis

Automatic Initialization

Top Venues

Bull. Symb. Log.

Publications

Matthew Harrison-Trainor, Patrick Lutz
Coding information into all infinite subsets of a dense set. CoRR (2023)
Patrick Lutz, Ludovic Arnould, Claire Boyer, Erwan Scornet
Sparse tree-based Initialization for Neural Networks. ICLR (2023)
Thomas Browning, Patrick Lutz
Formalizing Galois Theory. Exp. Math. 31 (2) (2022)
Patrick Lutz, Ludovic Arnould, Claire Boyer, Erwan Scornet
Sparse tree-based initialization for neural networks. CoRR (2022)
Patrick Lutz
Results on Martin's Conjecture. Bull. Symb. Log. 27 (2) (2021)
Thomas Browning, Patrick Lutz
Formalizing Galois Theory. CoRR (2021)