Hacker GitHub

← All repos

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
AllStoriesComments NewestTopOldest
  1. ▲ 2
    miniF2F: Formal to Formal Mathematics Benchmark
    story by tosh · 2024-07-08 · 0 comments
  2. ▲ 1
    MiniF2F
    story by tosh · 2021-05-10 · 0 comments