Kristin E. Lauter
4 papers · 2022–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
ICML (2)
NIPS (2)
Top co-authors
Papers
Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic
ICML 2025
Position: Formal Mathematical Reasoning—A New Frontier in AI
ICML 2025
SALSA VERDE: a machine learning attack on LWE with sparse small secrets
NIPS 2023
SALSA: Attacking Lattice Cryptography with Transformers
NIPS 2022