Lauter, Kristin E.

6 publications

ICML 2025 Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic Eshika Saxena, Alberto Alfarano, Emily Wenger, Kristin E. Lauter

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

TMLR 2025 Salsa Fresca: Angular Embeddings and Pre-Training for ML Attacks on Learning with Errors Samuel Stevens, Emily Wenger, Cathy Yuanchen Li, Niklas Nolte, Eshika Saxena, Francois Charton, Kristin E. Lauter

NeurIPS 2025 TAPAS: Datasets for Learning the Learning with Errors Problem Eshika Saxena, Alberto Alfarano, Francois Charton, Emily Wenger, Kristin E. Lauter

NeurIPS 2023 SALSA VERDE: A Machine Learning Attack on LWE with Sparse Small Secrets Cathy Li, Emily Wenger, Zeyuan Allen-Zhu, Francois Charton, Kristin E. Lauter

NeurIPS 2022 SALSA: Attacking Lattice Cryptography with Transformers Emily Wenger, Mingjie Chen, Francois Charton, Kristin E. Lauter