Files
lean4-autoformalizer-sft/model.safetensors
ModelHub XC 8bc55bf170 初始化项目,由ModelHub XC社区提供模型
Model: AlexVav01/lean4-autoformalizer-sft
Source: Original Platform
2026-07-18 06:42:10 +08:00

4 lines
136 B
Plaintext

version https://git-lfs.github.com/spec/v1
oid sha256:310840793b39a1d70a5008cbfa1b793c805b0f9a7816a6408c8c79bda549cc4a
size 15231272152