Kristin E. Lauter

4 papers · 2022–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🏆 Keyword Champion (2)

Venues

ICML (2) NeurIPS (2)

Top co-authors

Emily Wenger (3) Francois Charton (2) Wenda Li (1) Swarat Chaudhuri (1) Alberto Alfarano (1) Jingxuan He (1) Cathy Li (1) Gabriel Poesia (1) Mingjie Chen (1) Dawn Song (1)

Research topics

Computer Science (2) Machine Learning (2) Applications (2) Artificial Intelligence (1) Application Areas (1) Core AI (1) Core Methods (1) Optimization & Theory (1)

Keywords

post-quantum cryptography (3) learning with error (2) modular arithmetic (2) lattice cryptography (2) machine learning attack (1) verification (1) feedback (1) custom data distributions (1) learning with errors (lwe) (1) ml-based attacks (1) ai for mathematics (1) formal verification (1) formal mathematical reasoning (1) transformer model (1) proof assistant (1) loss regularization (1)

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 NeurIPS 2023 SALSA: Attacking Lattice Cryptography with Transformers NeurIPS 2022