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 8 minutes ago

LLM-course/chess-challenge-leaderboard

Yiwei6534 updated a model 13 minutes ago

LLM-course/testlyw

Yiwei6534 published a model 13 minutes ago

LLM-course/testlyw

View all activity

LLM-course 's Spaces 2

README

Official Organization for the course Large Language Models f

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)