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 2

LLM-course/basic-chess-tokenizer

Updated 1 day ago

LLM-course/basic-chess-model

Text Generation • 910k • Updated 1 day ago • 10

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 3 days ago • 19