8576af7502
Model: LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned_FROM_LOCAL Source: Original Platform
4 lines
133 B
JSON
4 lines
133 B
JSON
version https://git-lfs.github.com/spec/v1
|
|
oid sha256:be75606093db2094d7cd20f3c2f385c212750648bd6ea4fb2bf507a6a4c55506
|
|
size 11422650
|