Goedel-LM/Goedel-Formalizer-V2-8B file inventory
Browse hosted and upstream file records for Goedel-LM/Goedel-Formalizer-V2-8B. Check its Run page for complete-kit status.
- Hosting
- hosted
- Hosted files
- 14
- Tool
- any
Run status: unknown. These file records do not make a complete run kit.
- .gitattributes
- README.md - sha256
fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9- download this file - added_tokens.json - sha256
c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680- download this file - config.json - sha256
6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3- download this file - generation_config.json - sha256
ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc- download this file - merges.txt - sha256
8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5- download this file - model-00001-of-00004.safetensors - sha256
e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031- download this file - model-00002-of-00004.safetensors - sha256
c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361- download this file - model-00003-of-00004.safetensors - sha256
b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a- download this file - model-00004-of-00004.safetensors - sha256
f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5- download this file - model.safetensors.index.json - sha256
3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221- 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 - sha256
ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910- download this file