AlphaUncommon
openai/miniF2F
Formal to Formal Mathematics Benchmark
Archived: this repository is read-only
- Owner
- openai (organization)
- Stars
- Stars: 439
- Forks
- Forks: 51
- Language
- Objective-C++
- License
- None
- Created
- 2021
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by openai
All 187 repos by openai- openai/codexStars: 132,792RustLTS
- openai/whisperStars: 111,750PythonLTS
- openai/openai-cookbookStars: 76,911Jupyter NotebookLTS
- openai/gymStars: 37,231PythonLTS
- openai/codex-plugin-ccStars: 34,797JavaScriptLTS
- openai/CLIPStars: 34,553Jupyter NotebookLTS
Nearby in Objective-C++
All Objective-C++ repos- apple-oss-distributions/objc4Stars: 497Objective-C++Alpha
- EthanArbuckle/carplay-castStars: 468Objective-C++Alpha
- deanm/plaskStars: 442Objective-C++Alpha
- WadhahEssam/react-native-theme-switch-animationStars: 422Objective-C++Alpha
- johnno1962/XprobePluginStars: 398Objective-C++Alpha
- zynga/jsbindingsStars: 387Objective-C++Alpha