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 3

LLM-course/chess-model-blin-armand

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

LLM-course/basic-chess-tokenizer

Updated 5 days ago

LLM-course/basic-chess-model

Text Generation • 910k • Updated 5 days ago • 18

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 6 days ago • 29