MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a dataset about 2 hours ago

LLM-course/zork-submission

jiny05071225  new activity about 3 hours ago

LLM-course/zork-submission:Update submission for jiny05071225

nathanael-fijalkow  updated a Space 5 days ago

LLM-course/lipogram-challenge-submission

View all activity

Team members 202