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 about 2 hours ago

LLM-course/chess-challenge-leaderboard

Chiensaucisse67 updated a model about 2 hours ago

LLM-course/chess-baseline

Chiensaucisse67 published a model about 2 hours ago

LLM-course/chess-baseline

View all activity

LLM-course 's models 76

LLM-course/chess-baseline

Text Generation • 910k • Updated about 2 hours ago

LLM-course/square_chess

Text Generation • 869k • Updated about 3 hours ago

LLM-course/chess-steph-v2

Text Generation • 997k • Updated about 4 hours ago

LLM-course/chess-pgberlureau-basic

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-theSub-tok

Text Generation • 706k • Updated about 4 hours ago

LLM-course/chess-hamonk-v3

Text Generation • 422k • Updated about 4 hours ago

LLM-course/testlyw

Text Generation • 1.07M • Updated about 5 hours ago

LLM-course/chess_tlemagny

Text Generation • 990k • Updated about 5 hours ago

LLM-course/persistence_chess_2

Text Generation • 716k • Updated about 5 hours ago

LLM-course/chess-model2-giu

Text Generation • 995k • Updated about 6 hours ago

LLM-course/chess_swdo_tok_by_fct3

Text Generation • 706k • Updated about 6 hours ago

LLM-course/chess_swdo_tok_by_fct2

Text Generation • 706k • Updated about 6 hours ago

LLM-course/chess-felix-try

Text Generation • 910k • Updated about 6 hours ago

LLM-course/chess-model-eithan-nakache-v4

Text Generation • Updated about 7 hours ago

LLM-course/chess-gabriel-mrc-3

Text Generation • 954k • Updated about 7 hours ago

LLM-course/chess-model-abderrahim-bendahi

Text Generation • 931k • Updated about 7 hours ago

LLM-course/chess_leonardo_artiles_v1

Text Generation • 988k • Updated about 7 hours ago

LLM-course/chess_tomin_v1

Text Generation • 917k • Updated about 7 hours ago

LLM-course/chess-rub-v0

Text Generation • 910k • Updated about 8 hours ago

LLM-course/chess-gabriel-mrc-2

Text Generation • 954k • Updated about 8 hours ago

LLM-course/model-rub

Text Generation • 910k • Updated about 8 hours ago

LLM-course/chess_swdo_tok_by_fct1

Text Generation • 706k • Updated about 8 hours ago

LLM-course/chess_swdo_tok_by_fct

Text Generation • 706k • Updated about 8 hours ago

LLM-course/chess-model-eithan-nakache-v3

Text Generation • Updated about 8 hours ago

LLM-course/chess-model-eithan-nakache-v2

Text Generation • 998k • Updated about 8 hours ago

LLM-course/chess-model1-giu

Text Generation • 982k • Updated about 9 hours ago

LLM-course/beesGambit-chess-v0

Text Generation • 910k • Updated about 9 hours ago

LLM-course/model1_Giu

Text Generation • 982k • Updated about 9 hours ago

LLM-course/chess-gabrielmrc-1

Text Generation • 910k • Updated about 9 hours ago

LLM-course/gabrielmrc-chess-1

Text Generation • 910k • Updated about 9 hours ago