MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

azizbacha updated a model about 5 hours ago

LLM-course/chess-player1

azizbacha published a model about 5 hours ago

LLM-course/chess-player1

azizbacha updated a model about 6 hours ago

LLM-course/chess_learning-v2

View all activity

LLM-course 's models 729

LLM-course/emaugars_chess_3

Text Generation • 954k • Updated 2 days ago • 8

LLM-course/emaugars_chess_2

Text Generation • 995k • Updated 2 days ago • 16

LLM-course/chess-duc-v4

Text Generation • 997k • Updated 2 days ago • 12

LLM-course/duc_chess_v4

Text Generation • 997k • Updated 2 days ago • 7

LLM-course/sar-1m-chess-v2

Text Generation • 895k • Updated 2 days ago • 10

LLM-course/chess-etiennelefranc-20260118

Text Generation • 999k • Updated 2 days ago • 16

LLM-course/my-chess-model-eyaDaoud

Text Generation • 948k • Updated 2 days ago • 28

LLM-course/chess-vz-token-vanilla

Text Generation • 846k • Updated 2 days ago • 9

LLM-course/tirador_model_1

Text Generation • 910k • Updated 2 days ago • 9

LLM-course/mahdi-chess-v5

Text Generation • 910k • Updated 2 days ago • 7

LLM-course/chess-hamonk-v5

Text Generation • 874k • Updated 2 days ago • 4

LLM-course/chess-zhukova-v1

Text Generation • 926k • Updated 2 days ago • 7

LLM-course/mathispernin-chess-model-5

Text Generation • 1M • Updated 2 days ago • 14

LLM-course/model_valbad_v3

Text Generation • 931k • Updated 2 days ago • 7

LLM-course/mathispernin-chess-model-3

Text Generation • 943k • Updated 2 days ago • 9

LLM-course/chess-baseline-128x4-ctx384

Text Generation • 926k • Updated 2 days ago • 10

LLM-course/chess-amirloris-benelghali-ori

Text Generation • 910k • Updated 2 days ago • 10

LLM-course/mathispernin-chess-model-2

Text Generation • 1M • Updated 2 days ago • 3

LLM-course/chess-vz-token-vanilla-tmp

Text Generation • 846k • Updated 2 days ago • 8

LLM-course/chess_model_thaing

Text Generation • 948k • Updated 2 days ago • 16

LLM-course/chess-etienneLefranc-best

Text Generation • 981k • Updated 2 days ago • 14

LLM-course/qtb-chess-model-v1

Text Generation • 955k • Updated 2 days ago • 13

LLM-course/mathispernin-chess-model-1

Text Generation • 998k • Updated 2 days ago • 18

LLM-course/chess_BochraLAFIFI0.3

Text Generation • 906k • Updated 2 days ago • 9

LLM-course/chess-Rayan-FATNASSI-v2

Text Generation • 704k • Updated 2 days ago • 12

LLM-course/chess-hamonk-v4

Text Generation • 874k • Updated 2 days ago • 10

LLM-course/chess_model_lucas_meb_v2

Text Generation • 976k • Updated 2 days ago • 9

LLM-course/chess-amirloris-benelghali-77

Text Generation • 704k • Updated 2 days ago • 9

LLM-course/chess-submission-v9-MDaytek

Text Generation • 1.37M • Updated 2 days ago • 29

LLM-course/chess_minfreq2

Text Generation • 3.03M • Updated 2 days ago • 6