google-deepmind/formal-putnam-like

google-deepmind/formal-putnam-like

Description: Lean formalizations of Putnam-like problems

Language: Lean

License: Apache-2.0

Stars: 20

Forks: 1

Open issues: 2

Created: 2025-09-23T10:57:35Z

Pushed: 2026-04-22T22:47:11Z

Default branch: master

Fork: no

Archived: no

README:

Putnam-like problems in Lean

This repository contains Lean formalizations of Putnam-like problems. This repository is maintained by Eric Wieser and Henryk Michalewski.

Putnam-like is a benchmark crafted to probe the boundaries of mathematical reasoning in sophisticated AI systems. This collection offers university-level mathematical challenges, echoing the spirit of the Putnam Competition and similar student contests. These problems are intended to assess the depths of mathematical understanding, moving beyond superficial mathematical mimicry to demand a more profound and adaptable form of abstract thinking.

The repository at github.com/google-deepmind/eval_hub/tree/master/eval_hub/putnam_like contains natural language problem statements, grading rubrics, a more detailed README, and information about the math and Lean experts who contributed to this dataset.