lm-provers/QED-Nano file inventory
Browse hosted and upstream file records for lm-provers/QED-Nano. Check its Run page for complete-kit status.
- Hosting
- unknown
- Hosted files
- null
- Tool
- any
Run status: unknown. These file records do not make a complete run kit.
- .eval_results/MathArena--aime_2026.yaml
- .eval_results/MathArena--hmmt_feb_2026.yaml
- .gitattributes
- README.md - sha256
11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d - added_tokens.json - sha256
c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680 - chat_template.jinja - sha256
3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7 - config.json - sha256
43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b - evals.png - sha256
3afd0b946a07d2e844552a14be5470114c9376c769053ba6f8fa4e8438fdb6cd - generation_config.json - sha256
3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2 - imoproofbench.png - sha256
85b12ad73afb696ab7788781b6dbf5b8cfb229d94bc70c419b8e1657f5635a72 - logo.png - sha256
53db7ff09e16ec14c3633d509844f1b52b751537d78fb49a48e90ddd3cdc69c1 - merges.txt - sha256
8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5 - model-00001-of-00002.safetensors - sha256
73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba - model-00002-of-00002.safetensors - sha256
6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a - model.safetensors.bak - sha256
6c6159d1fb660bc5d2a07ddabaa7ffc693077bec37f6a85e0df775f4032ef87b - model.safetensors.index.json - sha256
e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a - special_tokens_map.json - sha256
76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd - tokenizer.json - sha256
aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4 - tokenizer_config.json - sha256
da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108 - vocab.json - sha256
ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910