Open-weight LLM by lm-provers
QED-Nano is an open-weight text-generation model published by lm-provers on the Hugging Face Hub. It has 10,074 downloads. Runs with transformers.
lm-provers
api
free