MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a Space about 9 hours ago

LLM-course/Agentic-zork

nathanael-fijalkow  updated a Space 1 day ago

LLM-course/codenames

nathanael-fijalkow  published a Space 1 day ago

LLM-course/codenames

View all activity

Team members 205