29 citations · 77 across the 21 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
The Fourth Quadrant: A Stylized View of Benign Misfitting
Gireeja Ranade, Anant Sahai
Training error is what we can observe on a training set; test error is the quantity we care about. We study squared-error linear regression in a deterministic -dimensional s…
cs.LG2026
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language,…
cs.LG2025
Decomposing Prediction Mechanisms for In-Context Recall
Sultan Daniels, Dylan Davis, Dhruv Gautam +3
We introduce a new family of toy problems that combine features of linear-regression-style continuous in-context learning (ICL) with discrete associative recall. We pretrain transf…