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

LLM-course/chess-challenge-leaderboard

Nestor02 updated a model 9 minutes ago

LLM-course/chess_EEE

Nestor02 published a model 22 minutes ago

LLM-course/chess_EEE

View all activity

LLM-course 's models 253

LLM-course/chess_EEE

Text Generation • 987k • Updated 9 minutes ago

LLM-course/chess_itsme_swdo

Text Generation • 1.12M • Updated 26 minutes ago

LLM-course/chess-player

Text Generation • 981k • Updated 35 minutes ago

LLM-course/chess_EE_OO

Text Generation • 987k • Updated 44 minutes ago

LLM-course/chess-axelbrons-1m-underfitting

Text Generation • 988k • Updated about 1 hour ago

LLM-course/chess_tlemagny_4.2

Text Generation • 999k • Updated about 1 hour ago

LLM-course/chess_v1_n_try

Text Generation • 987k • Updated about 1 hour ago

LLM-course/chess_tlemagny_4.1

Text Generation • 999k • Updated about 1 hour ago

LLM-course/chess-model-KHOUTAIBI_v4

Text Generation • 973k • Updated about 1 hour ago

LLM-course/chess_v1_n

Text Generation • 987k • Updated about 1 hour ago

LLM-course/chess-model-KHOUTAIBI_v3

Text Generation • 973k • Updated about 2 hours ago

LLM-course/chess_swdo_again

Text Generation • 871k • Updated about 2 hours ago

LLM-course/chess_v2.1

Text Generation • 882k • Updated about 2 hours ago

LLM-course/chess_v2.0

Text Generation • 882k • Updated about 2 hours ago

LLM-course/chess_filo_2

Text Generation • 910k • Updated about 2 hours ago

LLM-course/chess-model-jawad-chemaou-v2

Text Generation • 991k • Updated about 2 hours ago

LLM-course/chess_300arbresbrules

Text Generation • 699k • Updated about 3 hours ago

LLM-course/chess-model-elias4

Text Generation • 910k • Updated about 3 hours ago

LLM-course/chess-model-elias3

Text Generation • 910k • Updated about 3 hours ago

LLM-course/chess-bee-1

Text Generation • 999k • Updated about 4 hours ago

LLM-course/hugoper_chess

Text Generation • 996k • Updated about 4 hours ago • 26

LLM-course/chess_besthoneybee

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-player_c

Text Generation • 910k • Updated about 4 hours ago

LLM-course/oscar_best_chess_model

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-nbs

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess_swdo_terminatorV0

Text Generation • 1.04M • Updated about 5 hours ago

LLM-course/chess-model-armand-blin-v3

Text Generation • 999k • Updated about 5 hours ago

LLM-course/chess_okayokay

Text Generation • 699k • Updated about 5 hours ago

LLM-course/chess-model-armand-blin-v2

Text Generation • 999k • Updated about 5 hours ago

LLM-course/oscar_best_model

Text Generation • 910k • Updated about 5 hours ago