MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow  updated a dataset 8 minutes ago

LLM-course/chess-challenge-leaderboard

Sammy972  updated a model 9 minutes ago

LLM-course/chess-sam-model-so

Sammy972  published a model 14 minutes ago

LLM-course/chess-sam-model-so

View all activity

Team members 184