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

LLM-course/chess-challenge-leaderboard

Tr1ckst3rrr updated a model 2 minutes ago

LLM-course/chess_trickster_v3

Tr1ckst3rrr published a model 2 minutes ago

LLM-course/chess_trickster_v3

View all activity

LLM-course 's models 115

LLM-course/chess_trickster_v3

Text Generation • 711k • Updated 2 minutes ago

LLM-course/clmrie-chess-legal-v3

Text Generation • 936k • Updated 4 minutes ago

LLM-course/clmrie-chess-legal-v2

Text Generation • 936k • Updated 5 minutes ago

LLM-course/chess-3-Oceane28

Text Generation • 998k • Updated 8 minutes ago

LLM-course/lywtest-v2

Text Generation • 1.2M • Updated 36 minutes ago

LLM-course/chess_clarelec_1

Text Generation • 704k • Updated about 1 hour ago

LLM-course/chess-vincentime-bishop

Text Generation • 998k • Updated about 1 hour ago

LLM-course/chess_filo

Text Generation • 910k • Updated about 2 hours ago

LLM-course/chess-model2-giu

Text Generation • 982k • Updated about 3 hours ago • 11

LLM-course/chess_w_2

Text Generation • 996k • Updated about 4 hours ago

LLM-course/chess-stonkfish

Text Generation • 991k • Updated about 4 hours ago • 6

LLM-course/chess-vincentime-pawn

Text Generation • 884k • Updated about 6 hours ago

LLM-course/chess-CC-test

Text Generation • 877k • Updated about 7 hours ago

LLM-course/chess_leonardo_artiles_v2

Text Generation • 710k • Updated about 7 hours ago

LLM-course/chess-CC-exp3

Text Generation • 951k • Updated about 7 hours ago

LLM-course/chess-CC-exp2

Text Generation • 877k • Updated about 7 hours ago

LLM-course/chess-CC-base

Text Generation • 951k • Updated about 7 hours ago

LLM-course/chess-baseline

Text Generation • 951k • Updated about 7 hours ago • 8

LLM-course/ghaith-chess-v2

Text Generation • 926k • Updated about 7 hours ago

LLM-course/ghaith-chess-v1

Text Generation • 926k • Updated about 8 hours ago

LLM-course/chess-Sunxt25

Text Generation • 921k • Updated about 8 hours ago • 66

LLM-course/chess-khanghoang0902-v2

Text Generation • 943k • Updated about 8 hours ago

LLM-course/chess-wallard-v1

Text Generation • 910k • Updated about 8 hours ago

LLM-course/Chess_baseline

Text Generation • 910k • Updated about 9 hours ago

LLM-course/chess_leonardo_artiles_v1

Text Generation • 914k • Updated about 9 hours ago • 15

LLM-course/first_try_dont_bully

Text Generation • 2.14M • Updated about 9 hours ago

LLM-course/chess-deep_model

Text Generation • 933k • Updated about 9 hours ago

LLM-course/chess-steph-v2

Text Generation • 999k • Updated about 10 hours ago • 25

LLM-course/chess-khanghoang0902-v1

Text Generation • 999k • Updated about 11 hours ago

LLM-course/chess-tomin-v2bis

Text Generation • 631k • Updated about 11 hours ago