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