MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  new activity 37 minutes ago

LLM-course/gagliardidf-chess-model-v3:🏆 Evaluation Results

nathanael-fijalkow  updated a dataset 37 minutes ago

LLM-course/chess-challenge-leaderboard

nathanael-fijalkow  new activity 44 minutes ago

LLM-course/chess-submission-v21-MDaytek:🏆 Evaluation Results

View all activity

Team members 195