MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

Tome1  updated a model less than a minute ago

LLM-course/chess_tomin_v1

nathanael-fijalkow  updated a dataset 5 minutes ago

LLM-course/chess-challenge-leaderboard

rubenifrah  updated a model 6 minutes ago

LLM-course/chess-rub-v0

View all activity

Team members 168