miniF2F

Formal to Formal Mathematics Benchmark (by openai)

miniF2F reviews and mentions

Posts with mentions or reviews of miniF2F. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning miniF2F yet.
Tracking mentions began in Dec 2020.

Stats

Basic miniF2F repo stats
3
163
7.0
4 months ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com