lm-provers
/

QED-Nano

Text Generation

text-generation-inference

Model card Files Files and versions

QED-Nano / README.md

Commit History

Update README.md

84a6e12
verified

lewtun HF Staff commited on 3 days ago

Update README.md

59a4072
verified

lewtun HF Staff commited on 3 days ago

Update README.md

ff983ef
verified

lewtun HF Staff commited on 4 days ago

Update README.md

0039190
verified

lewtun HF Staff commited on 5 days ago

Update README.md

d83086b
verified

lewtun HF Staff commited on 5 days ago

Update README.md

80845b6
verified

lewtun HF Staff commited on 5 days ago

Update README.md

a03dd85
verified

ars22 commited on 6 days ago

Update README.md

455ac25
verified

ars22 commited on 6 days ago

Update README.md

47655bb
verified

aviralku commited on 6 days ago

Update README.md

2e52af1
verified

aviralku commited on 6 days ago

Update README.md

352119d
verified

lewtun HF Staff commited on 6 days ago

Update README.md

3b46eb5
verified

lewtun HF Staff commited on 6 days ago

Update README.md

14b1a85
verified

lewtun HF Staff commited on 6 days ago

Update README.md

89bc25b
verified

ars22 commited on 6 days ago

Update README.md

4dc4f22
verified

ars22 commited on 6 days ago

Update README.md

76c7040
verified

lewtun HF Staff commited on 6 days ago

Update README.md

07595eb
verified

lewtun HF Staff commited on 6 days ago

Update README.md

90689f9
verified

lewtun HF Staff commited on 7 days ago

Update README.md

c80c7cc
verified

lewtun HF Staff commited on 7 days ago

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

e0ae89e
verified

lewtun HF Staff commited on 7 days ago