Update README.md
Browse files
README.md
CHANGED
|
@@ -1,3 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# Model Card: Assisting Mathematical Formalization with A Learning-based Premise Retriever
|
| 2 |
|
| 3 |
## Model Description
|
|
|
|
| 1 |
+
---
|
| 2 |
+
pipeline_tag: sentence-similarity
|
| 3 |
+
---
|
| 4 |
# Model Card: Assisting Mathematical Formalization with A Learning-based Premise Retriever
|
| 5 |
|
| 6 |
## Model Description
|