Update README.md
Browse files
README.md
CHANGED
|
@@ -1,11 +1,5 @@
|
|
| 1 |
---
|
| 2 |
license: mit
|
| 3 |
-
inference:
|
| 4 |
-
parameters:
|
| 5 |
-
max_length: 1024
|
| 6 |
-
widget:
|
| 7 |
-
- text: "a b c : ℕ\n⊢ a + b + c = a + c + b"
|
| 8 |
-
example_title: "Sentiment analysis"
|
| 9 |
---
|
| 10 |
|
| 11 |
[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://arxiv.org/abs/xxxx.xxxxx)
|
|
|
|
| 1 |
---
|
| 2 |
license: mit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 3 |
---
|
| 4 |
|
| 5 |
[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://arxiv.org/abs/xxxx.xxxxx)
|