MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

MDaytek updated a model 41 minutes ago

LLM-course/chess-submission-MDaytek

nathanael-fijalkow updated a dataset about 1 hour ago

LLM-course/chess-challenge-leaderboard

KshitijAmbilduke updated a model about 1 hour ago

LLM-course/chess-tactibear

View all activity

LLM-course 's models 181

LLM-course/chess-submission-MDaytek

Text Generation • Updated 41 minutes ago

LLM-course/chess-tactibear

Text Generation • 999k • Updated about 1 hour ago

LLM-course/chess-zzz-orig-submit

Text Generation • 999k • Updated about 1 hour ago

LLM-course/chess-oussama-baseline

Text Generation • 910k • Updated about 1 hour ago

LLM-course/chess-zzz

Text Generation • 999k • Updated about 2 hours ago

LLM-course/chess-zwq-v1

Text Generation • 997k • Updated about 2 hours ago

LLM-course/hugoper_chess

Text Generation • 960k • Updated about 2 hours ago • 12

LLM-course/chess_endless

Text Generation • 1.05M • Updated about 2 hours ago • 12

LLM-course/chess_tlemagny_less_batch

Text Generation • 997k • Updated about 2 hours ago

LLM-course/chess-tactibear-v2

Text Generation • 999k • Updated about 2 hours ago

LLM-course/chess-model-elias2

Text Generation • 877k • Updated about 3 hours ago

LLM-course/chess-tactibear-v1

Text Generation • 999k • Updated about 3 hours ago

LLM-course/tactibear-correct-v1

Text Generation • 999k • Updated about 3 hours ago

LLM-course/tactibear-v1

Text Generation • 999k • Updated about 3 hours ago

LLM-course/chess-legal-comox

Text Generation • 991k • Updated about 3 hours ago

LLM-course/chess-not-fun

Text Generation • 704k • Updated about 3 hours ago

LLM-course/chess-model-elias

Text Generation • 877k • Updated about 3 hours ago

LLM-course/sacllmchess

Text Generation • 704k • Updated about 4 hours ago

LLM-course/model.safetensors

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-littletestmodel

Text Generation • 791k • Updated about 4 hours ago

LLM-course/chess-model-KHOUTAIBI

Text Generation • 910k • Updated about 6 hours ago

LLM-course/clmrie-chess-legal-v3

Text Generation • 937k • Updated about 6 hours ago • 9

LLM-course/chess_tlemagny_3

Text Generation • 997k • Updated about 6 hours ago

LLM-course/chess-jb2

Text Generation • 998k • Updated about 7 hours ago

LLM-course/chess-jb1

Text Generation • 910k • Updated about 7 hours ago

LLM-course/chess_ckoczoro_newtokenV1

Text Generation • 929k • Updated about 7 hours ago

LLM-course/chess-CC-try8

Text Generation • 991k • Updated about 7 hours ago

LLM-course/chess_pkilestaussinul

Text Generation • 921k • Updated about 7 hours ago

LLM-course/chess-khanghoang0902-v3

Text Generation • 993k • Updated about 8 hours ago

LLM-course/chess-CC-try7

Text Generation • 978k • Updated about 8 hours ago