MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

spaces 1

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 1

LLM-course/chess-model-blin-armand

Text Generation • 925k • Updated 3 days ago • 8

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 6 days ago • 29