MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow  updated a dataset 16 minutes ago

LLM-course/chess-challenge-leaderboard

armandblin  updated a model 17 minutes ago

LLM-course/chess-model-armand-blin

armandblin  published a model 17 minutes ago

LLM-course/chess-model-armand-blin

View all activity

Team members 153