[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"v3j5oClYa1":3},"# Putnam-like problems in Lean\n\nThis repository contains Lean formalizations of Putnam-like problems. This\nrepository is maintained by Eric Wieser and Henryk Michalewski.\n\nPutnam-like is a benchmark crafted to probe the boundaries of mathematical\nreasoning in sophisticated AI systems. This collection offers university-level\nmathematical challenges, echoing the spirit of the Putnam Competition and\nsimilar student contests. These problems are intended to assess the depths of\nmathematical understanding, moving beyond superficial mathematical mimicry to\ndemand a more profound and adaptable form of abstract thinking.\n\nThe repository at\n[github.com/google-deepmind/eval_hub/tree/master/eval_hub/putnam_like](https://github.com/google-deepmind/eval_hub/tree/master/eval_hub/putnam_like/)\ncontains natural language problem statements, grading rubrics, a more detailed\nREADME, and information about the math and Lean experts who contributed to this\ndataset.\n",1777138835027]