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
20082026
-
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] -
▲ 2
miniF2F: Formal to Formal Mathematics Benchmarkstory by tosh · 2024-07-08 · 0 comments
-
▲ 1
MiniF2Fstory by tosh · 2021-05-10 · 0 comments