Cite
Notes
Only stored in your browser.
Attribution
AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
arXiv 2026
Efficient local linearity regularization to overcome catastrophic overfitting
arXiv 2024
from 2 papers
Elias Abad Rocamora
Grigorios G. Chrysos
Jason D. Lee
Pablo M. Olmos
Volkan Cevher
Yuanhe Zhang