8.06 GB

3 contributors

History: 29 commits

lewtun HF Staff

Update README.md

84a6e12 verified 5 days ago

.gitattributes
1.77 kB

Upload evals.png 9 days ago
README.md
5.74 kB

Update README.md 5 days ago
added_tokens.json
707 Bytes

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
chat_template.jinja
4.05 kB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
config.json
1.57 kB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
evals.png
155 kB
xet

Upload evals.png 9 days ago
generation_config.json
188 Bytes

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
imoproofbench.png
110 kB
xet

Upload imoproofbench.png 9 days ago
logo.png
260 kB
xet

Upload logo.png 9 days ago
merges.txt
1.67 MB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
model-00001-of-00002.safetensors
4.97 GB
xet

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
model-00002-of-00002.safetensors
3.08 GB
xet

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
model.safetensors.bak
433 kB
xet

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
model.safetensors.index.json
32.8 kB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
special_tokens_map.json
613 Bytes

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
tokenizer.json
11.4 MB
xet

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
tokenizer_config.json
9.64 kB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago
vocab.json
2.78 MB

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint 9 days ago