Update README.md
Browse files
README.md
CHANGED
|
@@ -2,4 +2,9 @@
|
|
| 2 |
license: mit
|
| 3 |
base_model:
|
| 4 |
- Salesforce/codet5-base
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 5 |
---
|
|
|
|
| 2 |
license: mit
|
| 3 |
base_model:
|
| 4 |
- Salesforce/codet5-base
|
| 5 |
+
pipeline_tag: text2text-generation
|
| 6 |
+
tags:
|
| 7 |
+
- code
|
| 8 |
+
- mathematics
|
| 9 |
+
- theorem-proving
|
| 10 |
---
|