Lemmy00/qwen3-4b-lean-eval-GGUF
4B • Updated
Lazar Milikic
Lemmy00
·
AI & ML interests
None yet
Recent Activity
updated a model about 19 hours ago
Lemmy00/qwen3-4b-lean-eval-GGUF published a model about 19 hours ago
Lemmy00/qwen3-4b-lean-eval-GGUF published a dataset 2 days ago
formalmathatepfl/reasoning_dataOrganizations
