This is stars and forks stats for /facebookresearch/miniF2F repository. As of 19 Apr, 2024 this repository has 35 stars and 9 forks.
MiniF2F Note: This repository is a fork of the original OpenAI miniF2F repository https://github.com/openai/miniF2F, with additional data and many formal statement fixes. MiniF2F is a formal mathematics benchmark (translated across multiple formal systems) consisting of exercise statements from olympiads (AMC, AIME, IMO) as well as high-school and undergraduate maths classes. The goal of the project is to provide a shared benchmark to evaluate and directly compare automated theorem proving systems...
MiniF2F Note: This repository is a fork of the original OpenAI miniF2F repository https://github.com/openai/miniF2F, with additional data and many formal statement fixes. MiniF2F is a formal mathematics benchmark (translated across multiple formal systems) consisting of exercise statements from olympiads (AMC, AIME, IMO) as well as high-school and undergraduate maths classes. The goal of the project is to provide a shared benchmark to evaluate and directly compare automated theorem proving systems...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| bumble-tech/private-detector | Python | 1.2k | 0 | 89 | -1 |
| yfszzx/stable-diffusion-webui-images-browser | PythonJavaScript | 441 | +1 | 221 | +1 |
| facebookresearch/encodec | PythonMakefile | 2.8k | 0 | 254 | 0 |
| Roche/crmPack | HTMLROther | 18 | 0 | 8 | 0 |
| AleoHQ/aleo | JavaScriptRustTypeScript | 356 | 0 | 386 | 0 |
| agrinfauzi/rackspira | SCSSHTMLJavaScript | 0 | 0 | 8 | 0 |
| hanoglu/TermiC | Shell | 263 | 0 | 7 | 0 |
| giantswarm/linkerd-control-plane-app | SmartyPythonMakefile | 2 | 0 | 3 | 0 |
| leonardoalt/sol-macros | SolidityCShell | 31 | 0 | 1 | 0 |
| guardian/bridget | ThriftShell | 5 | 0 | 1 | 0 |