AI & ML interests

Large Language Models

Recent Activity

rifaki  updated a model about 8 hours ago
LLM-course/chess-confused-magnus
rifaki  published a model about 8 hours ago
LLM-course/chess-confused-magnus
nathanael-fijalkow  updated a dataset about 16 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).