Kevin Fisher
kfish610
·
AI & ML interests
None yet
Recent Activity
updated a model 14 days ago
astral-expmath/qwen3.5-4b-agda-steps-GGUF published a model 14 days ago
astral-expmath/qwen3.5-4b-agda-steps-GGUF published a model about 2 months ago
astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUFOrganizations
