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

LLM-course/chess-challenge-leaderboard

swdo updated a model 19 minutes ago

LLM-course/chess-theSub-tok

swdo published a model 19 minutes ago

LLM-course/chess-theSub-tok

View all activity

LLM-course 's models 73

LLM-course/chess-theSub-tok

Text Generation • 706k • Updated 19 minutes ago

LLM-course/chess-hamonk-v3

Text Generation • 422k • Updated 23 minutes ago

LLM-course/testlyw

Text Generation • 1.07M • Updated about 1 hour ago

LLM-course/chess_tlemagny

Text Generation • 990k • Updated about 1 hour ago

LLM-course/persistence_chess_2

Text Generation • 716k • Updated about 1 hour ago

LLM-course/chess-steph-v2

Text Generation • 1M • Updated about 1 hour ago

LLM-course/chess-model2-giu

Text Generation • 995k • Updated about 2 hours ago

LLM-course/chess_swdo_tok_by_fct3

Text Generation • 706k • Updated about 2 hours ago

LLM-course/chess_swdo_tok_by_fct2

Text Generation • 706k • Updated about 2 hours ago

LLM-course/chess-felix-try

Text Generation • 910k • Updated about 2 hours ago

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

Text Generation • Updated about 3 hours ago

LLM-course/chess-gabriel-mrc-3

Text Generation • 954k • Updated about 3 hours ago

LLM-course/chess-model-abderrahim-bendahi

Text Generation • 931k • Updated about 3 hours ago

LLM-course/chess_leonardo_artiles_v1

Text Generation • 988k • Updated about 3 hours ago

LLM-course/chess_tomin_v1

Text Generation • 917k • Updated about 4 hours ago

LLM-course/chess-rub-v0

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-gabriel-mrc-2

Text Generation • 954k • Updated about 4 hours ago

LLM-course/model-rub

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess_swdo_tok_by_fct1

Text Generation • 706k • Updated about 4 hours ago

LLM-course/chess_swdo_tok_by_fct

Text Generation • 706k • Updated about 5 hours ago

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

Text Generation • Updated about 5 hours ago

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

Text Generation • 998k • Updated about 5 hours ago

LLM-course/chess-model1-giu

Text Generation • 982k • Updated about 5 hours ago

LLM-course/beesGambit-chess-v0

Text Generation • 910k • Updated about 5 hours ago

LLM-course/model1_Giu

Text Generation • 982k • Updated about 5 hours ago

LLM-course/chess-gabrielmrc-1

Text Generation • 910k • Updated about 5 hours ago

LLM-course/gabrielmrc-chess-1

Text Generation • 910k • Updated about 5 hours ago

LLM-course/gabriel-model-1

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess_swdo_base

Text Generation • 910k • Updated about 6 hours ago

LLM-course/chess-second-try-maxence

Text Generation • 910k • Updated about 6 hours ago