MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

mcngnt published a model less than a minute ago

LLM-course/chess-grenouille-v1

nathanael-fijalkow updated a dataset 7 minutes ago

LLM-course/chess-challenge-leaderboard

corentincaris updated a model 11 minutes ago

LLM-course/chess-CC-try3

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 140

LLM-course/chess-grenouille-v1

Updated less than a minute ago

LLM-course/chess-CC-try3

Text Generation • 914k • Updated 11 minutes ago

LLM-course/chess-ilan

Text Generation • 945k • Updated 41 minutes ago

LLM-course/chess_41iq

Text Generation • 921k • Updated about 1 hour ago

LLM-course/chess-CC-try1

Text Generation • 978k • Updated about 1 hour ago

LLM-course/chess-khanghoang0902-baseline

Text Generation • 910k • Updated about 2 hours ago

LLM-course/model-few-params

Text Generation • 411k • Updated about 2 hours ago

LLM-course/chess_40deqi

Text Generation • 910k • Updated about 2 hours ago

LLM-course/40deqi

Text Generation • 910k • Updated about 2 hours ago

LLM-course/test

Text Generation • 893k • Updated about 3 hours ago

View 140 models

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated 7 minutes ago • 111 • 756