MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

stephecw  published a Space about 1 month ago

LLM-course/Text-game-agent-EILLES

nathanael-fijalkow  updated a Space about 1 month ago

LLM-course/codenames

nathanael-fijalkow  updated a Space about 1 month ago

LLM-course/Agentic-zork

View all activity

Team members 215