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 about 3 hours ago

LLM-course/chess-challenge-leaderboard

Chiensaucisse67 updated a model about 4 hours ago

LLM-course/chess-baseline

Chiensaucisse67 published a model about 4 hours ago

LLM-course/chess-baseline

View all activity

Organization Card

Community About org cards

Official Organization for the course Large Language Models for Code and Proof, joint between MVA and IASD.

Communications with students are happening on the Discord server. The official website gathers documents (slides, recordings).

spaces 2

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 76

LLM-course/chess-baseline

Text Generation • 910k • Updated about 4 hours ago

LLM-course/square_chess

Text Generation • 869k • Updated about 5 hours ago

LLM-course/chess-steph-v2

Text Generation • 997k • Updated about 6 hours ago

LLM-course/chess-pgberlureau-basic

Text Generation • 910k • Updated about 6 hours ago

LLM-course/chess-theSub-tok

Text Generation • 706k • Updated about 6 hours ago

LLM-course/chess-hamonk-v3

Text Generation • 422k • Updated about 6 hours ago

LLM-course/testlyw

Text Generation • 1.07M • Updated about 6 hours ago

LLM-course/chess_tlemagny

Text Generation • 990k • Updated about 7 hours ago

LLM-course/persistence_chess_2

Text Generation • 716k • Updated about 7 hours ago

LLM-course/chess-model2-giu

Text Generation • 995k • Updated about 7 hours ago

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated about 3 hours ago • 2 • 29