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

4 lines
133 B
JSON

version https://git-lfs.github.com/spec/v1
oid sha256:8dd9baa0e79a8aa572f742f267d8b5bb97452afaeeaa4d4a1215b4f7c8d232fa
size 11422158