@Goedel-LM · Pirate Face

Goedel-LM/Goedel-Prover-V2-8B

456 天前更新

磁力链接text-generation16 GB🌱 3 3.8k

Goedel-LM/Goedel-Prover-V2-32B

438 天前更新

需要做种者 →text-generation66 GB 997

Goedel-LM/Goedel-Prover-SFT

569 天前更新

需要做种者 →14 GB 590

Goedel-LM/Goedel-Formalizer-V2-8B

476 天前更新

需要做种者 →16 GB 351

Goedel-LM/Goedel-Code-Prover-8B

228 天前更新

需要做种者 →16 GB 45

Goedel-LM/Goedel-Formalizer-V2-32B

474 天前更新

需要做种者 →66 GB 33

Goedel-LM/Goedel-Prover-DPO

565 天前更新

需要做种者 →14 GB 20

Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated

565 天前更新

需要做种者 →66 GB 19

Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated

565 天前更新

需要做种者 →66 GB 12

模型