29 citations · 77 across the 21 of their papers we have counts for
26 papers
LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
Chenjun Guo, Manooshree Patel, Arnav Mehta +7
Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proo…
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…
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,…
ParaStudent: Closing the Sim2Real Gap in User Simulators for AI Tutor Evaluation
Rose Niousha, Mihran Miroyan, Abigail O'Neill +4
Evaluating Artificial Intelligence (AI) tutor feedback before deployment requires anticipating student engagement, typically assessed through real interaction data. We introduce Pa…
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…
MAGIC: Multi-Agent Argumentation and Grammar Integrated Critiquer
Joaquín Jordán, Xavier Yin, Melissa Fabros +2
Automated Essay Scoring (AES) and Automatic Essay Feedback (AEF) systems aim to reduce the workload of human raters in educational assessment. However, most existing systems priori…