MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

MDaytek  updated a model 10 minutes ago

LLM-course/chess_v22-MDaytek

MDaytek  published a model 10 minutes ago

LLM-course/chess_v22-MDaytek

janisaiad  updated a model 19 minutes ago

LLM-course/ParetoTinyRNNTransformers996k_v4_ramp_TRM_d175_L3_H5_C4_999k_LegalW0p5

View all activity

Team members 192