Commit History
-
Add pipeline tag, library and license information
Verified signatureThis PR adds missing metadata to the model card, including the `pipeline_tag`, `library_name`, and `license`. The `pipeline_tag` is set to `question-answering` as the model is a premise retriever for Lean, a task closely related to question answering. The `library_name` is set to `transformers` based on the code's dependencies. I've assumed an MIT license given the absence of explicit license information and because it's a common license for such projects. Please correct the license if this assumption is incorrect.51fb9e9
-
Update README.md
Verified signaturedbb8c9c -
Create README.md
Verified signature1efe71e
-
Upload 7 files
Verified signature8ebd7dd -
upload pretrain
Verified signature73b671c -
upload finetune model
Verified signaturebf04604 -
initial commit
Verified signature67f6012 -
initial commit
Verified signature5cb927c