190 citations · 544 across the 34 of their papers we have counts for
34 papers
Twin: Playing an Unknown Game with a Test-Time Digital Twin
Alexy Skoutnev, Kirill Acharya, Gaston Longhitano +3
We present a Test-time World-model Inference (Twin) system, in which a frontier coding agent writes an executable world model for completing continual learning tasks, such as ARC-A…
Diverse Inference and Verification for Advanced Reasoning
Iddo Drori, Gaston Longhitano, Mao Mao +11
Reasoning LLMs such as OpenAI o1, o3 and DeepSeek R1 have made significant progress in mathematics and coding, yet find challenging advanced tasks such as International Mathematica…
AI-Driven Review Systems: Evaluating LLMs in Scalable and Bias-Aware Academic Reviews
Keith Tyser, Ben Segev, Gaston Longhitano +9
Automatic reviewing helps handle a large volume of papers, provides early feedback and quality control, reduces bias, and allows the analysis of trends. We evaluate the alignment o…
Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models
Sarah J. Zhang, Samuel Florin, Ariel N. Lee +12
We curate a comprehensive dataset of 4,550 questions and solutions from problem sets, midterm exams, and final exams across all MIT Mathematics and Electrical Engineering and Compu…
From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams
Iddo Drori, Sarah J. Zhang, Reece Shuttleworth +13
A final exam in machine learning at a top institution such as MIT, Harvard, or Cornell typically takes faculty days to write, and students hours to solve. We demonstrate that large…
Solving the Families In the Wild Kinship Verification Challenge by Program Synthesis
Junyi Huang, Maxwell Benjamin Strome, Ian Jenkins +7
Kinship verification is the task of determining whether a parent-child, sibling, or grandparent-grandchild relationship exists between two people and is important in social media a…