Lemmy00/qwen3-4b-lean-eval-GGUF
4B • Updated
Lazar Milikic
Lemmy00
·
AI & ML interests
None yet
Recent Activity
updated a model about 16 hours ago
Lemmy00/qwen3-4b-lean-eval-GGUF published a model about 16 hours ago
Lemmy00/qwen3-4b-lean-eval-GGUF published a dataset 1 day ago
formalmathatepfl/reasoning_dataOrganizations
datasets 0
None public yet