activity
20202025
most citedFrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

9 citations · 26 across the 6 of their papers we have counts for

collaborators

7 papers

cs.AI2025

A Rosetta Stone for AI Benchmarks

Anson Ho, Jean-Stanislas Denain, David Atanasov +2

Most AI benchmarks saturate within years or even months after they are introduced, making it hard to study long-run trends in AI capabilities. To address this challenge, we build a…

cs.AI2024★ 9 cited

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Elliot Glazer, Ege Erdil, Tamay Besiroglu +21

We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most…

cs.AI2023

AI capabilities can be significantly improved without expensive retraining

Tom Davidson, Jean-Stanislas Denain, Pablo Villalobos +1

State-of-the-art AI systems can be significantly improved without expensive retraining via "post-training enhancements"-techniques applied after initial training like fine-tuning t…

cs.LG2023★ 6 cited

Overthinking the Truth: Understanding how Language Models Process False Demonstrations

Danny Halawi, Jean-Stanislas Denain, Jacob Steinhardt

Modern language models can imitate complex patterns through few-shot learning, enabling them to complete challenging tasks without fine-tuning. However, imitation can also lead mod…

cs.LG2022★ 2 cited

Auditing Visualizations: Transparency Methods Struggle to Detect Anomalous Behavior

Jean-Stanislas Denain, Jacob Steinhardt

Model visualizations provide information that outputs alone might miss. But can we trust that model visualizations reflect model behavior? For instance, can they diagnose abnormal…

cs.LG2021★ 4 cited

Grounding Representation Similarity with Statistical Testing

Frances Ding, Jean-Stanislas Denain, Jacob Steinhardt

To understand neural network behavior, recent works quantitatively compare different networks' learned representations using canonical correlation analysis (CCA), centered kernel a…

stat.ML2020★ 5 cited

MetFlow: A New Efficient Method for Bridging the Gap between Markov Chain Monte Carlo and Variational Inference

Achille Thin, Nikita Kotelevskii, Jean-Stanislas Denain +4

In this contribution, we propose a new computationally efficient method to combine Variational Inference (VI) with Markov Chain Monte Carlo (MCMC). This approach can be used with g…