AI: Safety, Scaling, Interpretability

Machine learning results with formal guarantees

Results about large language models, neural scaling, adversarial robustness, and AI safety — all framed as mathematical theorems with Lean-verified components. Some of these rederive known empirical scaling laws from first principles.

0 papers