MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

iliasslasri  updated a model less than a minute ago

LLM-course/chess-player-v2

armandblin  updated a model 5 minutes ago

LLM-course/chess-armand-blin-v-last-4

nathanael-fijalkow  updated a dataset 20 minutes ago

LLM-course/chess-challenge-leaderboard

View all activity

Team members 192