MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

Eithannak  updated a model 7 minutes ago

LLM-course/chess-model-eithan

Eithannak  published a model 7 minutes ago

LLM-course/chess-model-eithan

agroudiev  updated a model 9 minutes ago

LLM-course/chess-agroudiev

View all activity

Team members 153