MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

graug  updated a model 11 minutes ago

LLM-course/chess_clarelec_1

graug  published a model 15 minutes ago

LLM-course/chess_clarelec_1

nathanael-fijalkow  updated a dataset about 2 hours ago

LLM-course/chess-challenge-leaderboard

View all activity

Team members 172