This is stars and forks stats for /openai/miniF2F repository. As of 26 Apr, 2024 this repository has 209 stars and 40 forks.
MiniF2F 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 based on the formal systems targeted, initially Lean, and Metamath (targeting also Hol Light and Isabelle). The benchmark (released under permissive licenses (MIT...
MiniF2F 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 based on the formal systems targeted, initially Lean, and Metamath (targeting also Hol Light and Isabelle). The benchmark (released under permissive licenses (MIT...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
avibrazil/RDM | Objective-C++MakefileC | 4k | +2 | 348 | -1 |
phonegap/phonegap-plugin-barcodescanner | Objective-C++JavaScriptJava | 1.3k | 0 | 1.4k | 0 |
TextureGroup/Texture | Objective-C++Objective-CSwift | 7.8k | 0 | 1.3k | 0 |
gree/unity-webview | Objective-C++JavaC# | 2.1k | +5 | 668 | +1 |
mapbox/mapbox-gl-native-ios | Objective-C++Objective-CJavaScript | 212 | 0 | 120 | 0 |
coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
facebook/flow | OCamlJavaScriptShell | 22k | -3 | 1.9k | 0 |
returntocorp/semgrep | OCamlPythonJava | 8.9k | +18 | 521 | +1 |
ocaml/merlin | OCamlPerlEmacs Lisp | 1.5k | 0 | 226 | 0 |
facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 458 | +3 |