Add pipeline tag, library and license information (#1)
Browse files- Add pipeline tag, library and license information (51fb9e9cbfc79d4b1b3a96b21e7279375c48d026)
Co-authored-by: Niels Rogge <[email protected]>
README.md
CHANGED
|
@@ -1,3 +1,9 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# Model Card: Assisting Mathematical Formalization with A Learning-based Premise Retriever
|
| 2 |
|
| 3 |
## Model Description
|
|
|
|
| 1 |
+
---
|
| 2 |
+
pipeline_tag: question-answering
|
| 3 |
+
library_name: transformers
|
| 4 |
+
license: mit
|
| 5 |
+
---
|
| 6 |
+
|
| 7 |
# Model Card: Assisting Mathematical Formalization with A Learning-based Premise Retriever
|
| 8 |
|
| 9 |
## Model Description
|