MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  new activity about 8 hours ago

LLM-course/chess-proven-1M-MDaytek:🏆 Evaluation Results

nathanael-fijalkow  updated a dataset about 8 hours ago

LLM-course/chess-challenge-leaderboard

MDaytek  updated a model about 8 hours ago

LLM-course/chess-proven-1M-MDaytek

View all activity

Team members 198