LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned_FROM_LOCAL
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
8576af7502dbe0d705bcae668cfe5fd0e9513d1d
Commit Graph

1 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
ModelHub XC
8576af7502 初始化项目，由ModelHub XC社区提供模型 
Model: LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned_FROM_LOCAL
Source: Original Platform
 2026-08-10 07:38:16 +08:00