Reading Group

Our lab reading group meets regularly to discuss recent papers, blog posts, and other readings in software engineering, programming languages, and machine learning.

Date Reading Presenter
Oct 01, 2026 Training a Misaligned Reward Seeker @Magnus
SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs? @Jacob