Update README.md
Browse files
README.md
CHANGED
|
@@ -10,6 +10,9 @@ tags:
|
|
| 10 |
- lean4
|
| 11 |
- theorem-proving
|
| 12 |
- formal-mathematics
|
|
|
|
|
|
|
|
|
|
| 13 |
---
|
| 14 |
|
| 15 |
# LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
|
|
|
|
| 10 |
- lean4
|
| 11 |
- theorem-proving
|
| 12 |
- formal-mathematics
|
| 13 |
+
metrics:
|
| 14 |
+
- accuracy
|
| 15 |
+
pipeline_tag: text-generation
|
| 16 |
---
|
| 17 |
|
| 18 |
# LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
|