MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a dataset about 7 hours ago

LLM-course/zork-submission

rifaki  updated a model about 20 hours ago

LLM-course/chess-confused-magnus

rifaki  published a model about 20 hours ago

LLM-course/chess-confused-magnus

View all activity

Team members 199