SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

Inuyasha2023ch commited on Dec 25, 2024

Commit

aef1516

·

verified ·

1 Parent(s): 8bf9a0a

Update README.md

Files changed (1) hide show

README.md +9 -3

README.md CHANGED Viewed

@@ -1,3 +1,9 @@
----
-license: apache-2.0
----

+---
+license: apache-2.0
+datasets:
+- SJTULean/LeanStatement_CoT
+language:
+- en
+base_model:
+- Qwen/Qwen2.5-7B-Instruct
+---