Update README.md
Browse files
README.md
CHANGED
|
@@ -209,4 +209,6 @@ Carbon emissions can be estimated using the [Machine Learning Impact calculator]
|
|
| 209 |
|
| 210 |
## Model Card Contact
|
| 211 |
|
| 212 |
-
[More Information Needed]
|
|
|
|
|
|
|
|
|
| 209 |
|
| 210 |
## Model Card Contact
|
| 211 |
|
| 212 |
+
[More Information Needed]
|
| 213 |
+
|
| 214 |
+
The Model achieves 459/488 pass@1 compilation correctness on MiniF2F and 282/374 on ProofNet, proving the scaling law on lean formalization.
|