lm-provers
/

QED-Nano

Text Generation

text-generation-inference

Model card Files Files and versions

QED-Nano / vocab.json

lewtun's picture

lewtun HF Staff

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

e0ae89e verified 3 months ago

2.78 MB

File too large to display, you can check the raw version instead.