AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a dataset about 19 hours ago
LLM-course/zork-submission
nathanael-fijalkow  published a dataset about 19 hours ago
LLM-course/zork-submission
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).