MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

mohamedamine6 updated a model about 1 hour ago

LLM-course/chess_endless

mohamedamine6 published a model about 1 hour ago

LLM-course/chess_endless

nathanael-fijalkow updated a dataset about 2 hours ago

LLM-course/chess-challenge-leaderboard

View all activity

LLM-course 's models 117

LLM-course/chess_endless

Text Generation • 778k • Updated about 1 hour ago

LLM-course/chess_4

Text Generation • 706k • Updated about 2 hours ago

LLM-course/chess_clarelec_1

Text Generation • 703k • Updated about 2 hours ago

LLM-course/chess_trickster_v3

Text Generation • 711k • Updated about 2 hours ago

LLM-course/clmrie-chess-legal-v3

Text Generation • 936k • Updated about 2 hours ago

LLM-course/clmrie-chess-legal-v2

Text Generation • 936k • Updated about 2 hours ago

LLM-course/chess-3-Oceane28

Text Generation • 998k • Updated about 2 hours ago

LLM-course/lywtest-v2

Text Generation • 1.2M • Updated about 3 hours ago

LLM-course/chess-vincentime-bishop

Text Generation • 998k • Updated about 3 hours ago

LLM-course/chess_filo

Text Generation • 910k • Updated about 4 hours ago

LLM-course/chess-model2-giu

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

LLM-course/chess_w_2

Text Generation • 996k • Updated about 6 hours ago

LLM-course/chess-stonkfish

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

LLM-course/chess-vincentime-pawn

Text Generation • 884k • Updated about 8 hours ago

LLM-course/chess-CC-test

Text Generation • 877k • Updated about 9 hours ago

LLM-course/chess_leonardo_artiles_v2

Text Generation • 710k • Updated about 9 hours ago

LLM-course/chess-CC-exp3

Text Generation • 951k • Updated about 9 hours ago

LLM-course/chess-CC-exp2

Text Generation • 877k • Updated about 9 hours ago

LLM-course/chess-CC-base

Text Generation • 951k • Updated about 9 hours ago

LLM-course/chess-baseline

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

LLM-course/ghaith-chess-v2

Text Generation • 926k • Updated about 9 hours ago

LLM-course/ghaith-chess-v1

Text Generation • 926k • Updated about 10 hours ago

LLM-course/chess-Sunxt25

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

LLM-course/chess-khanghoang0902-v2

Text Generation • 943k • Updated about 10 hours ago

LLM-course/chess-wallard-v1

Text Generation • 910k • Updated about 10 hours ago

LLM-course/Chess_baseline

Text Generation • 910k • Updated about 11 hours ago

LLM-course/chess_leonardo_artiles_v1

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

LLM-course/first_try_dont_bully

Text Generation • 2.14M • Updated about 11 hours ago

LLM-course/chess-deep_model

Text Generation • 933k • Updated about 11 hours ago

LLM-course/chess-steph-v2

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