Hugging Face's logo

lm-provers
/
QED-Nano

Text Generation
Transformers
Safetensors
English
qwen3
conversational
text-generation-inference
Model card Files
xet
Community
1
QED-Nano

Commit History

Update README.md
a03dd85
verified

ars22 commited on

Update README.md
455ac25
verified

ars22 commited on

Update README.md
47655bb
verified

aviralku commited on

Update README.md
2e52af1
verified

aviralku commited on

Update README.md
352119d
verified

lewtun HF Staff commited on

Update README.md
3b46eb5
verified

lewtun HF Staff commited on

Upload evals.png
0b97523
verified

lewtun HF Staff commited on

Update README.md
14b1a85
verified

lewtun HF Staff commited on

Update README.md
89bc25b
verified

ars22 commited on

Update README.md
4dc4f22
verified

ars22 commited on

Update README.md
76c7040
verified

lewtun HF Staff commited on

Upload imoproofbench.png
08dbade
verified

lewtun HF Staff commited on

Update README.md
07595eb
verified

lewtun HF Staff commited on

Upload imoproofbench.png
9282bcf
verified

lewtun HF Staff commited on

Update README.md
90689f9
verified

lewtun HF Staff commited on

Upload logo.png
2343b0b
verified

lewtun HF Staff commited on

Update README.md
c80c7cc
verified

lewtun HF Staff commited on

Delete model-00004-of-00004.safetensors
df7426b
verified

lewtun HF Staff commited on

Delete model-00003-of-00004.safetensors
e77cbd4
verified

lewtun HF Staff commited on

Delete model-00002-of-00004.safetensors
a67cdd1
verified

lewtun HF Staff commited on

Delete model-00001-of-00004.safetensors
7ca4ce9
verified

lewtun HF Staff commited on

Add lm-provers/Qwen3-4B-Thinking-2507-Proof-rc_v09.00-step-000150 checkpoint
e0ae89e
verified

lewtun HF Staff commited on

initial commit
28af975
verified

lewtun HF Staff commited on