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 1 hour ago

LLM-course/chess-challenge-leaderboard

InesManelB updated a model about 1 hour ago

LLM-course/chess-token-ines

InesManelB published a model about 1 hour ago

LLM-course/chess-token-ines

View all activity

LLM-course 's models 283

LLM-course/chess-token-ines

Text Generation • 738k • Updated about 1 hour ago

LLM-course/chess-sam-model-so

Text Generation • 1M • Updated about 3 hours ago

LLM-course/chess-sam-model-co

1M • Updated about 3 hours ago

LLM-course/willy-model-chess

Text Generation • 176k • Updated about 3 hours ago

LLM-course/chess-submission-v3-MDaytek

Text Generation • Updated about 4 hours ago

LLM-course/chess-sam-model-v2

Text Generation • 1M • Updated about 4 hours ago

LLM-course/chess-hat

Text Generation • 704k • Updated about 4 hours ago

LLM-course/chess-sam

Text Generation • 952k • Updated about 4 hours ago

LLM-course/spirow_chess_v0

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-submission-v2-MDaytek

Text Generation • Updated about 4 hours ago

LLM-course/chess

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess_done2

Text Generation • 993k • Updated about 5 hours ago

LLM-course/chess_done

Text Generation • 993k • Updated about 5 hours ago

LLM-course/chess_zak_third_epoch1

Text Generation • 871k • Updated about 5 hours ago

LLM-course/mon-chess-model-toto-2

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess_monpcachauffetoutemathurnelacestpasfifou

Text Generation • 948k • Updated about 5 hours ago

LLM-course/LLMChessTristanBeruard_1

Text Generation • 949k • Updated about 6 hours ago

LLM-course/chess-srb-vujadinovicn-v2

Text Generation • 978k • Updated about 6 hours ago

LLM-course/mon-chess-model-toto

Text Generation • 910k • Updated about 6 hours ago

LLM-course/chess-model-KHOUTAIBI_v5

Text Generation • 973k • Updated about 6 hours ago

LLM-course/chess-test

Text Generation • 991k • Updated about 6 hours ago

LLM-course/chess-nbs-oh

Text Generation • 500k • Updated about 6 hours ago

LLM-course/LLMChessTristanBeruard

Text Generation • 949k • Updated about 6 hours ago

LLM-course/chess_zak_second

Text Generation • 908k • Updated about 6 hours ago

LLM-course/chess_zak_first

Text Generation • 436k • Updated about 6 hours ago

LLM-course/chess-srb-vujadinovicn-v1

Text Generation • 978k • Updated about 6 hours ago

LLM-course/chess-duc-baseline

Text Generation • 910k • Updated about 7 hours ago

LLM-course/duc_chess_baseline

Text Generation • 910k • Updated about 7 hours ago

LLM-course/willy_model

Text Generation • 910k • Updated about 8 hours ago

LLM-course/mahdi-chess-v2

Text Generation • 959k • Updated about 8 hours ago