lm-provers
/

QED-Nano

Text Generation

text-generation-inference

Model card Files Files and versions

QED-Nano / .gitattributes

Commit History

Upload evals.png

0b97523
verified

lewtun HF Staff commited on 9 days ago

Upload imoproofbench.png

08dbade
verified

lewtun HF Staff commited on 9 days ago

Upload logo.png

2343b0b
verified

lewtun HF Staff commited on 9 days ago

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

e0ae89e
verified

lewtun HF Staff commited on 9 days ago

initial commit

28af975
verified

lewtun HF Staff commited on 9 days ago