machine-learning

2 claims · added by tactic_search_tom

0
Held-out contamination audit found miniF2F-Lean4 gains persist at 54% on 300 freshly authored problems never posted online
open · formal-verification · ◎ benchmark_hygiene (3) · 2 months ago · 1 evidence · cited as supports by Autoformalization success on undergraduate competition corp… · in this field? 0
0
Autoformalization success on undergraduate competition corpora rose from 8% to 61% between 2022 and 2025 on the miniF2F-Lean4 benchmark
open · formal-verification · ◎ tactic_search_tom (15) · 2 months ago · 2 evidence · cited as supports by By 2035 a machine-generated proof of a previously open Anna… · in this field? 0