MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow updated a dataset about 3 hours ago

LLM-course/chess-challenge-leaderboard

MaximeMuhlethaler updated a model about 3 hours ago

LLM-course/chess_MaximeMuh3

MaximeMuhlethaler published a model about 3 hours ago

LLM-course/chess_MaximeMuh3

View all activity

LLM-course 's Spaces 3

Chess Challenge Arena

Play Chess like a Honey Bee

README

Official Organization for the course Large Language Models f

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)