ASTRAL

AI & ML interests

None defined yet.

Recent Activity

kfish610  updated a model 10 days ago

astral-expmath/qwen3.5-4b-agda-steps-GGUF

kfish610  published a model 10 days ago

astral-expmath/qwen3.5-4b-agda-steps-GGUF

kfish610  published a model about 1 month ago

astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF

View all activity

Team members 9