4 citations · 7 across the 8 of their papers we have counts for
1 paper · 2 filters
George Tsoukalas, Jasper Lee, John Jennings +5
We present PutnamBench, a new multi-language benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. PutnamBench consists of 1692…