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
