amitayusht
/

ProofWala-Multilingual

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions Community

amitayusht commited on Feb 9

Commit

dd7acb7

·

verified ·

1 Parent(s): cfa7f0b

Update README.md

Files changed (1) hide show

README.md +5 -3

README.md CHANGED Viewed

@@ -1,3 +1,5 @@
----
-license: mit
----

+---
+license: mit
+base_model:
+- Salesforce/codet5-base
+---