Kaiyu Yang
commited on
Commit
•
d87b727
1
Parent(s):
7542e68
update the model trained on LeanDojo Benchmark v2
Browse files- config.json +1 -1
- pytorch_model.bin +1 -1
config.json
CHANGED
|
@@ -26,7 +26,7 @@
|
|
| 26 |
"tie_word_embeddings": false,
|
| 27 |
"tokenizer_class": "ByT5Tokenizer",
|
| 28 |
"torch_dtype": "float32",
|
| 29 |
-
"transformers_version": "4.
|
| 30 |
"use_cache": true,
|
| 31 |
"vocab_size": 384
|
| 32 |
}
|
|
|
|
| 26 |
"tie_word_embeddings": false,
|
| 27 |
"tokenizer_class": "ByT5Tokenizer",
|
| 28 |
"torch_dtype": "float32",
|
| 29 |
+
"transformers_version": "4.30.2",
|
| 30 |
"use_cache": true,
|
| 31 |
"vocab_size": 384
|
| 32 |
}
|
pytorch_model.bin
CHANGED
|
@@ -1,3 +1,3 @@
|
|
| 1 |
version https://git-lfs.github.com/spec/v1
|
| 2 |
-
oid sha256:
|
| 3 |
size 870666377
|
|
|
|
| 1 |
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:0ce5d23a349f45ebcd1707bc0f8ad2e4abd6ca43507c5c544e0601f171d5d3ad
|
| 3 |
size 870666377
|