MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

janisaiad  updated a model 2 minutes ago

LLM-course/JanisTRM580800v1

janisaiad  published a model 2 minutes ago

LLM-course/JanisTRM580800v1

hamonk  updated a model 7 minutes ago

LLM-course/chess-hamonk-v7

View all activity

Team members 191