Kevin Fisher
kfish610
·
AI & ML interests
None yet
Recent Activity
updated a model 3 days ago
astral-expmath/qwen3.5-4b-agda-steps-GGUF published a model 3 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
