初始化项目,由ModelHub XC社区提供模型

Model: ellietheorem/goedel-prover-v2-8b-lf-sft-v2
Source: Original Platform
This commit is contained in:
ModelHub XC
2026-09-13 15:44:30 +08:00
commit 7c85c41114
8 changed files with 430 additions and 0 deletions

3
model.safetensors Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:9035538e68f0bdd948e73b70cd3e2c1c5dff9c1b1123d5da1eaeb299fe7d3432
size 16381517208