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

LLM-course/chess-challenge-leaderboard

DevZoneX updated a model 10 minutes ago

LLM-course/Chess_baseline

DevZoneX published a model 10 minutes ago

LLM-course/Chess_baseline

View all activity

LLM-course 's models 98

LLM-course/Chess_baseline

Text Generation • 910k • Updated 10 minutes ago

LLM-course/chess-stonkfish

Text Generation • 966k • Updated 17 minutes ago • 6

LLM-course/chess_leonardo_artiles_v1

Text Generation • 914k • Updated 28 minutes ago • 15

LLM-course/chess_leonardo_artiles_v2

Text Generation • 914k • Updated 29 minutes ago

LLM-course/first_try_dont_bully

Text Generation • 2.14M • Updated about 1 hour ago

LLM-course/chess-deep_model

Text Generation • 933k • Updated about 1 hour ago

LLM-course/chess-vincentime-base-0

Text Generation • 910k • Updated about 1 hour ago

LLM-course/chess-steph-v2

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

LLM-course/chess-khanghoang0902-v1

Text Generation • 999k • Updated about 2 hours ago

LLM-course/chess-tomin-v2bis

Text Generation • 631k • Updated about 3 hours ago

LLM-course/chess_mid_rl

Text Generation • 970k • Updated about 3 hours ago

LLM-course/chess_swdo_ss

Text Generation • 871k • Updated about 3 hours ago

LLM-course/chess-agroudiev

Text Generation • 1,000k • Updated about 3 hours ago • 74

LLM-course/chess-third-try-maxence

Text Generation • 910k • Updated about 3 hours ago

LLM-course/chess_swdo_s1

Text Generation • 871k • Updated about 3 hours ago

LLM-course/chess_swdo_s

Text Generation • 871k • Updated about 3 hours ago

LLM-course/younadi_chess

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess_test

Text Generation • 706k • Updated about 4 hours ago • 11

LLM-course/chess_swdo_2

Text Generation • 706k • Updated about 4 hours ago

LLM-course/chess_swdo_subTok

Text Generation • 706k • Updated about 4 hours ago

LLM-course/chess-khanghoang0902-1

Text Generation • 999k • Updated about 5 hours ago

LLM-course/chess_w

Text Generation • 956k • Updated about 5 hours ago

LLM-course/chess-tomin-v2

Text Generation • 631k • Updated about 5 hours ago

LLM-course/chess-ruben-coord-v0

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess-coord-v1

Text Generation • 910k • Updated about 5 hours ago

LLM-course/chess-2-Oceane28

Text Generation • 999k • Updated about 6 hours ago

LLM-course/chess_tlemagny_2

Text Generation • 999k • Updated about 6 hours ago

LLM-course/chess-khanghoang0902

Text Generation • 999k • Updated about 6 hours ago

LLM-course/chess-baseline

Text Generation • 910k • Updated about 14 hours ago • 8

LLM-course/square_chess

Text Generation • 869k • Updated about 15 hours ago • 8