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

LLM-course/chess-challenge-leaderboard

Tr1ckst3rrr updated a model 6 minutes ago

LLM-course/chess_trickster

MaximeMuhlethaler updated a model 42 minutes ago

LLM-course/chess-llm-MaximeMuh

View all activity

spaces 1

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 10

LLM-course/chess_trickster

Text Generation • 976k • Updated 6 minutes ago

LLM-course/chess-llm-MaximeMuh

Text Generation • 924k • Updated 42 minutes ago

LLM-course/chess-vincentime-model-0

Text Generation • 910k • Updated 43 minutes ago

LLM-course/chess-adrien-goldszal

Text Generation • 995k • Updated about 1 hour ago

LLM-course/adrien-goldszal-model

Text Generation • 995k • Updated about 2 hours ago

LLM-course/chess-model-armand-blin

Text Generation • 961k • Updated about 2 hours ago

LLM-course/chess-agroudiev

Text Generation • 933k • Updated about 2 hours ago

LLM-course/chess-model-eithan

Text Generation • 1.19M • Updated about 3 hours ago

LLM-course/chess-pandada

Text Generation • 910k • Updated about 4 hours ago

LLM-course/my-chess-model

Text Generation • 910k • Updated about 11 hours ago

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 6 minutes ago • 2 • 29