MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow  updated a dataset 6 minutes ago

LLM-course/chess-challenge-leaderboard

mohamedamine6  updated a model 11 minutes ago

LLM-course/chess_endless

tlemagny  updated a model 13 minutes ago

LLM-course/chess_tlemagny_less_batch

View all activity

Team members 178