Texonom
Texonom/
Engineering
Engineering/Data Engineering/Artificial Intelligence/AI Object/AI Invent/Math AI/
MiniF2F-Test
Search

MiniF2F-Test

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2025 Aug 25 22:0
Editor
Editor
Seonglae ChoSeonglae Cho
Edited
Edited
2025 Aug 25 22:3
Refs
Refs

Formal to Formal Mathematics Benchmark

https://www.arxiv.org/pdf/2507.23726o
 
 
 
 
 
 
 
 

Recommendations

Texonom
Texonom/
Engineering
Engineering/Data Engineering/Artificial Intelligence/AI Object/AI Invent/Math AI/
MiniF2F-Test