astral-expmath/qwen3.5-4b-agda-steps-GGUF
Text Generation • 4B • Updated • 123
Kevin Fisher
kfish610
·
AI & ML interests
None yet
Recent Activity
updated a model 12 days ago
astral-expmath/qwen3.5-4b-agda-steps-GGUF published a model 12 days ago
astral-expmath/qwen3.5-4b-agda-steps-GGUF published a model about 1 month ago
astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUFOrganizations
updated a
model 12 days ago
published a
model 12 days ago
published a
model about 1 month ago
updated 2
models about 1 month ago