MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

rifaki updated a model about 12 hours ago

LLM-course/chess-confused-magnus

rifaki published a model about 12 hours ago

LLM-course/chess-confused-magnus

nathanael-fijalkow updated a dataset about 21 hours ago

LLM-course/zork-submission

View all activity

LLM-course 's Spaces 5

The Lipogram Challenge

First assignment: La Disparition and Toulouse cancelling

Chess Challenge Arena

Second assignment: Play Chess like a Honey Bee

Agentic Zork

Third assignment: Playing Zork has never been so boring!

Text Adventure Agent Submission

README

Official Organization for the course Large Language Models f