# openai/miniF2F

<https://repo.masters-masters.com/en/repos/openai/miniF2F>

[Home](https://repo.masters-masters.com/en) › [openai](https://repo.masters-masters.com/en/owners/openai) › [miniF2F](https://repo.masters-masters.com/en/repos/openai/miniF2F)

openai/miniF2F has 439 stars on GitHub. Its RepoMasters card: Alpha tier. Formal to Formal Mathematics Benchmark Language: Objective-C++.

| Field | Value |
| --- | --- |
| Owner | [openai](https://repo.masters-masters.com/en/owners/openai) |
| Stars | 439 |
| Forks | 51 |
| Language | [Objective-C++](https://repo.masters-masters.com/en/languages/objective-c-plus-plus) |
| License | None |
| Created | 2021 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [openai/miniF2F](https://github.com/openai/miniF2F) |

## Repository

Formal to Formal Mathematics Benchmark

Archived: this repository is read-only

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by openai

- [openai/codex · ★ 132,933 · Rust · LTS](https://repo.masters-masters.com/en/repos/openai/codex)
- [openai/whisper · ★ 111,833 · Python · LTS](https://repo.masters-masters.com/en/repos/openai/whisper)
- [openai/openai-cookbook · ★ 76,928 · Jupyter Notebook · LTS](https://repo.masters-masters.com/en/repos/openai/openai-cookbook)
- [openai/gym · ★ 37,230 · Python · LTS](https://repo.masters-masters.com/en/repos/openai/gym)
- [openai/codex-plugin-cc · ★ 34,825 · JavaScript · LTS](https://repo.masters-masters.com/en/repos/openai/codex-plugin-cc)
- [openai/CLIP · ★ 34,561 · Jupyter Notebook · LTS](https://repo.masters-masters.com/en/repos/openai/CLIP)

## Nearby in Objective-C++

- [apple-oss-distributions/objc4 · ★ 497 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/apple-oss-distributions/objc4)
- [EthanArbuckle/carplay-cast · ★ 469 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/EthanArbuckle/carplay-cast)
- [deanm/plask · ★ 442 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/deanm/plask)
- [WadhahEssam/react-native-theme-switch-animation · ★ 422 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/WadhahEssam/react-native-theme-switch-animation)
- [johnno1962/XprobePlugin · ★ 398 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/johnno1962/XprobePlugin)
- [zynga/jsbindings · ★ 387 · Objective-C++ · Alpha](https://repo.masters-masters.com/en/repos/zynga/jsbindings)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.