amitayusht

/

ProofWala-Multilingual

like 0

This PR improves the model card, by adding the library name and a link to the github README. It also corrects the pipeline_tag to
text-generation rather than text2text-generation, as the generated text is in this case a proof of a theorem rather than a
summary/translation.