openai/miniF2F

View on GitHub ↗ ★ 438 Objective-C++ archived

Formal to Formal Mathematics Benchmark

3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2021-05-10 · latest 2025-02-12

Mentions per year 3 mentions · busiest year 2021 (1)

20082026

All Stories Comments Newest Top Oldest

Tested in the article: miniF2F: https://github.com/openai/miniF2F PutnamBench: https://github.com/trishullab/PutnamBench .. FrontierMath: https://arxiv.org/abs/2411.04872v1
comment by westurner · 2025-02-12 · in Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving [pdf]