AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow  updated a dataset about 3 hours ago
LLM-course/chess-challenge-leaderboard
MaximeMuhlethaler  updated a model about 3 hours ago
LLM-course/chess_MaximeMuh3
MaximeMuhlethaler  published a model about 3 hours ago
LLM-course/chess_MaximeMuh3
View all activity

Official Organization for the course Large Language Models for Code and Proof, joint between MVA and IASD.

Communications with students are happening on the Discord server. The official website gathers documents (slides, recordings).