3 repos
insait-institute/open-proof-corpus
This repository contains the code for the paper The Open Proof Corpus: Building a Large-Scale,…
18
4 commits
eth-sri/matharena
Evaluation of LLMs on latest math competitions
282
50 commits
HallerPatrick/pecc
[LREC-Coling 2024] PECC: Problem Extraction and Coding Challenges
14
28 commits
