Update README.md
Browse files
README.md
CHANGED
|
@@ -1,3 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
| 1 |
## [miniCTX: Neural Theorem Proving with (Long-)Contexts]()
|
| 2 |
File-tuned context model from [miniCTX: Neural Theorem Proving with
|
| 3 |
(Long-)Contexts]().
|
|
@@ -52,4 +55,4 @@ Please cite:
|
|
| 52 |
eprint={},
|
| 53 |
archivePrefix={arXiv},
|
| 54 |
}
|
| 55 |
-
```
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: mit
|
| 3 |
+
---
|
| 4 |
## [miniCTX: Neural Theorem Proving with (Long-)Contexts]()
|
| 5 |
File-tuned context model from [miniCTX: Neural Theorem Proving with
|
| 6 |
(Long-)Contexts]().
|
|
|
|
| 55 |
eprint={},
|
| 56 |
archivePrefix={arXiv},
|
| 57 |
}
|
| 58 |
+
```
|