2 papers
math.LO2025
Linear Logic and the Hilbert Scheme
William Troiani, Daniel Murfet
We introduce a geometric model of shallow multiplicative exponential linear logic (MELL) using the Hilbert scheme. Building on previous work interpreting multiplicative linear logi…
stat.ML2024
The Local Learning Coefficient: A Singularity-Aware Complexity Measure
Edmund Lau, Zach Furman, George Wang +2
The Local Learning Coefficient (LLC) is introduced as a novel complexity measure for deep neural networks (DNNs). Recognizing the limitations of traditional complexity measures, th…