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

LLM-course/chess-challenge-leaderboard

abdennourker updated a model 36 minutes ago

LLM-course/chess-abdennourker

abdennourker published a model 36 minutes ago

LLM-course/chess-abdennourker

View all activity

spaces 1

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 18

LLM-course/chess-abdennourker

Text Generation • 975k • Updated 36 minutes ago

LLM-course/chess-1M-abdennourker

Text Generation • 975k • Updated 43 minutes ago

LLM-course/chess-agroudiev

Text Generation • 981k • Updated about 1 hour ago

LLM-course/chess-llm-MaximeMuh2

Text Generation • 924k • Updated about 1 hour ago

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

Text Generation • 956k • Updated about 1 hour ago

LLM-course/chess-pgberlureau-400K

Text Generation • 413k • Updated about 1 hour ago

LLM-course/persistence-chess

Text Generation • 993k • Updated about 2 hours ago

LLM-course/chess-model-eithan-nakache

Text Generation • 996k • Updated about 2 hours ago

LLM-course/chess-pgberlureau

Text Generation • 910k • Updated about 2 hours ago

LLM-course/chess_trickster

Text Generation • 976k • Updated about 2 hours ago

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 15 minutes ago • 2 • 29