Goedel-LM/Goedel-Prover-V2-32B file inventory
Browse hosted and upstream file records for Goedel-LM/Goedel-Prover-V2-32B. Check its Run page for complete-kit status.
- Hosting
- hosted
- Hosted files
- 21
- Tool
- any
Run status: unknown. These file records do not make a complete run kit.
- .gitattributes
- README.md
- added_tokens.json - sha256
c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680- download this file - config.json - sha256
2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6- download this file - generation_config.json - sha256
f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5- download this file - merges.txt
- model-00001-of-00014.safetensors - sha256
152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0- download this file - model-00002-of-00014.safetensors - sha256
ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626- download this file - model-00003-of-00014.safetensors - sha256
b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63- download this file - model-00004-of-00014.safetensors - sha256
3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00- download this file - model-00005-of-00014.safetensors - sha256
12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3- download this file - model-00006-of-00014.safetensors - sha256
fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5- download this file - model-00007-of-00014.safetensors - sha256
66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41- download this file - model-00008-of-00014.safetensors - sha256
16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543- download this file - model-00009-of-00014.safetensors - sha256
9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b- download this file - model-00010-of-00014.safetensors - sha256
306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06- download this file - model-00011-of-00014.safetensors - sha256
32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74- download this file - model-00012-of-00014.safetensors - sha256
06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00- download this file - model-00013-of-00014.safetensors - sha256
a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3- download this file - model-00014-of-00014.safetensors - sha256
79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa- download this file - model.safetensors.index.json - sha256
83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2- download this file - special_tokens_map.json - sha256
76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd- download this file - tokenizer.json - sha256
aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4- download this file - tokenizer_config.json - sha256
5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72- download this file - vocab.json