3 papers
cs.LG2026
The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning
Cristina V. Lopes, Yuangang Li, Justin Tian Jin Chen +3
Transformer-based language models perform well on symbolic tasks, yet it remains unclear whether they learn generalizable rules or rely on statistical shortcuts. Mechanistic studie…
cs.CL2025
Memorization: A Close Look at Books
Iris Ma, Ian Domingo, Alberto Krone-Martins +2
To what extent can entire books be extracted from LLMs? Using the Llama 3 70B family of models, and the "prefix-prompting" extraction technique, we were able to auto-regressively r…
cs.CY2024
Integrating AI Tutors in a Programming Course
Iris Ma, Alberto Krone Martins, Cristina Videira Lopes
RAGMan is an LLM-powered tutoring system that can support a variety of course-specific and homework-specific AI tutors. RAGMan leverages Retrieval Augmented Generation (RAG), as we…