MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

Sunxt25 updated a model about 3 hours ago

LLM-course/chess-Sunxt25

Eithannak updated a model about 4 hours ago

LLM-course/chess-model-eithan-nakache

nathanael-fijalkow updated a dataset about 5 hours ago

LLM-course/chess-challenge-leaderboard

View all activity

LLM-course 's models 25

LLM-course/chess-Sunxt25

Text Generation • 878k • Updated about 3 hours ago

LLM-course/chess-model-eithan-nakache

Text Generation • 998k • Updated about 4 hours ago

LLM-course/Sunxt25

Text Generation • 878k • Updated about 5 hours ago

LLM-course/chess-abdennourker

Text Generation • 1,000k • Updated about 6 hours ago

LLM-course/chess-agroudiev

Text Generation • 981k • Updated about 7 hours ago

LLM-course/ChessNN-9L-juki

Text Generation • 933k • Updated about 7 hours ago

LLM-course/chess-hamonk

Text Generation • 910k • Updated about 8 hours ago

LLM-course/chess_test

Text Generation • 924k • Updated about 8 hours ago

LLM-course/chess-model-jawad-chemaou

Text Generation • 989k • Updated about 9 hours ago

LLM-course/chess-llm-tt

Text Generation • 924k • Updated about 9 hours ago

LLM-course/chess-llm-MaximeMuh2

Text Generation • 924k • Updated about 9 hours ago

LLM-course/chess-1M-abdennourker

Text Generation • 975k • Updated about 9 hours ago

LLM-course/chess-adrien-goldszal-model-v2

Text Generation • 956k • Updated about 10 hours ago

LLM-course/chess-pgberlureau-400K

Text Generation • 413k • Updated about 10 hours ago

LLM-course/persistence-chess

Text Generation • 993k • Updated about 10 hours ago

LLM-course/chess-pgberlureau

Text Generation • 910k • Updated about 10 hours ago

LLM-course/chess_trickster

Text Generation • 976k • Updated about 11 hours ago

LLM-course/chess-llm-MaximeMuh

Text Generation • 924k • Updated about 11 hours ago

LLM-course/chess-vincentime-model-0

Text Generation • 910k • Updated about 12 hours ago

LLM-course/chess-adrien-goldszal

Text Generation • 995k • Updated about 12 hours ago

LLM-course/adrien-goldszal-model

Text Generation • 995k • Updated about 12 hours ago

LLM-course/chess-model-armand-blin

Text Generation • 961k • Updated about 12 hours ago

LLM-course/chess-model-eithan

Text Generation • 1.19M • Updated about 14 hours ago

LLM-course/chess-pandada

Text Generation • 910k • Updated about 15 hours ago

LLM-course/my-chess-model

Text Generation • 910k • Updated about 21 hours ago