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

SmileChou updated a model 8 minutes ago

LLM-course/chou-chess-challenge3

SmileChou published a model 8 minutes ago

LLM-course/chou-chess-challenge3

View all activity

LLM-course 's models 581

LLM-course/chou-chess-challenge3

Text Generation • 969k • Updated 8 minutes ago

LLM-course/chou-chess-challenge2

Text Generation • 969k • Updated 27 minutes ago

LLM-course/smile_chess_token_2

Text Generation • 896k • Updated 31 minutes ago

LLM-course/chou-chess-challenge1

Text Generation • 969k • Updated 41 minutes ago

LLM-course/chou-chess-challenge

Text Generation • 969k • Updated about 1 hour ago

LLM-course/chess-gm0

Text Generation • 882k • Updated about 2 hours ago

LLM-course/chess-gm

Text Generation • 882k • Updated about 2 hours ago

LLM-course/smile_chess_token_1

Text Generation • 728k • Updated about 2 hours ago

LLM-course/chess-gk

Text Generation • 882k • Updated about 2 hours ago

LLM-course/chess-g

Text Generation • 882k • Updated about 2 hours ago

LLM-course/smile_chess_token

Text Generation • 713k • Updated about 2 hours ago

LLM-course/chess-submission-v16-MDaytek

Text Generation • 1.08M • Updated about 3 hours ago

LLM-course/chess-model-qtb-v3

Text Generation • 970k • Updated about 3 hours ago

LLM-course/chess-submission-v15-MDaytek

Text Generation • 1.08M • Updated about 3 hours ago

LLM-course/chess-submission-v13-MDaytek

Text Generation • 1.88M • Updated about 3 hours ago

LLM-course/chess-submission-v12-MDaytek

Text Generation • 1.08M • Updated about 3 hours ago

LLM-course/chess-submission-v11-MDaytek

Text Generation • 1.08M • Updated about 3 hours ago

LLM-course/chess-submission-v10-MDaytek

Text Generation • 1.08M • Updated about 3 hours ago

LLM-course/chess-llm-lh2

Text Generation • 992k • Updated about 4 hours ago

LLM-course/chesschess

Text Generation • 992k • Updated about 4 hours ago

LLM-course/chess_model_attempt_v5

Text Generation • 882k • Updated about 4 hours ago

LLM-course/chess_model_attempt_v4

Text Generation • 882k • Updated about 4 hours ago

LLM-course/chess_gpaspayeleserveurdecomputepayezmafacturesvp

Text Generation • 948k • Updated about 4 hours ago

LLM-course/chess-model-qtb-v2

Text Generation • 970k • Updated about 4 hours ago

LLM-course/fatima-chess-500-96

Text Generation • 270k • Updated about 5 hours ago

LLM-course/chess-haiphamcse_olmo_9k_mod_token

Text Generation • 838k • Updated about 5 hours ago

LLM-course/chess-5-Oceane28

Text Generation • 997k • Updated about 5 hours ago

LLM-course/chess-6-Oceane28

Text Generation • 997k • Updated about 5 hours ago

LLM-course/chess-haiphamcse_olmo_12k_mod_token

Text Generation • 838k • Updated about 5 hours ago

LLM-course/chess_model_attempt_v3

Text Generation • 882k • Updated about 5 hours ago