Add lean4 LoRA R100 loss:0.0451
Browse files
lean4/adapter_model.safetensors
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:a293e9bfb4047224646068f76aed594e51db92e3be8641fed1a1ab8d2dacc9b3
|
| 3 |
+
size 281831456
|