AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a dataset about 13 hours ago
LLM-course/zork-submission
nathanael-fijalkow  published a dataset about 13 hours ago
LLM-course/zork-submission
dlouapre  new activity about 19 hours ago
LLM-course/chess-trm-powerful:small TRM
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).