8.06 GB

3 contributors

History: 23 commits

ars22

Update README.md

a03dd85 verified 1 day ago

.gitattributes
1.77 kB

Upload evals.png 1 day ago
README.md
4.04 kB

Update README.md 1 day ago
added_tokens.json
707 Bytes

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

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

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

Upload evals.png 1 day ago
generation_config.json
188 Bytes

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

Upload imoproofbench.png 1 day ago
logo.png
260 kB
xet

Upload logo.png 1 day ago
merges.txt
1.67 MB

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

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

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

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

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

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

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

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

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