trishullab/PutnamBench trishullab/PutnamBench

  • Stars
    star
    41
  • Rank 664,774 (Top 14 %)
  • Language Isabelle
  • Created 5 months ago
  • Updated 10 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trishullab/PutnamBench
github

trishullab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

More Repositories

1

bayou

System for synthesizing Java API idioms, powered by Neural Sketch Learning
Java
276
star
2

houdini

HOUDINI: Lifelong Learning as Program Synthesis
Python
48
star
3

copra

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Python
42
star
4

near

Python
23
star
5

cflobdd

C
9
star
6

salento

Statistical bug-finding framework for API-using code
Python
6
star
7

Quasimodo

C++
5
star
8

tapas

Texas Python Analyzer
Python
3
star
9

cosmos

Code release for "Neurosymbolic Grounding for Compositional World Models"
2
star
10

askbayou

CSS
2
star