MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

InesManelB updated a model about 1 hour ago

LLM-course/chess-vanilla-ines

InesManelB published a model about 1 hour ago

LLM-course/chess-vanilla-ines

nathanael-fijalkow updated a dataset about 1 hour ago

LLM-course/chess-challenge-leaderboard

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 283

LLM-course/chess-vanilla-ines

Text Generation • 910k • Updated about 1 hour ago

LLM-course/chess-sam-model-so

Text Generation • 1M • Updated about 1 hour ago

LLM-course/chess-sam-model-co

1M • Updated about 1 hour ago

LLM-course/willy-model-chess

Text Generation • 176k • Updated about 1 hour ago

LLM-course/chess-submission-v3-MDaytek

Text Generation • Updated about 2 hours ago

LLM-course/chess-sam-model-v2

Text Generation • 1M • Updated about 2 hours ago

LLM-course/chess-hat

Text Generation • 704k • Updated about 2 hours ago

LLM-course/chess-sam

Text Generation • 952k • Updated about 3 hours ago

LLM-course/spirow_chess_v0

Text Generation • 910k • Updated about 3 hours ago

LLM-course/chess-submission-v2-MDaytek

Text Generation • Updated about 3 hours ago

View 283 models

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated about 1 hour ago • 111 • 1k