MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

janisaiad updated a model less than a minute ago

LLM-course/TRM_d36_L1_H2_C12_28k_LegalW0p5

janisaiad updated a model less than a minute ago

LLM-course/TRM_d36_L1_H2_C10_28k_LegalW0p5

janisaiad updated a model less than a minute ago

LLM-course/TRM_d36_L1_H1_C8_28k_LegalW0p5

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 3

Chess Challenge Arena

Play Chess like a Honey Bee

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 907

LLM-course/TRM_d36_L1_H2_C12_28k_LegalW0p5

Text Generation • Updated less than a minute ago • 9

LLM-course/TRM_d36_L1_H2_C10_28k_LegalW0p5

Text Generation • Updated less than a minute ago • 6

LLM-course/TRM_d36_L1_H1_C8_28k_LegalW0p5

Text Generation • Updated less than a minute ago • 9

LLM-course/TRM_d36_L1_H1_C6_28k_LegalW0p5

Text Generation • Updated less than a minute ago • 7

LLM-course/TRM_d36_L1_H1_C4_28k_LegalW0p5

Text Generation • Updated 1 minute ago • 9

LLM-course/TRM_d36_L1_H1_C2_28k_LegalW0p5

Text Generation • Updated 1 minute ago • 10

LLM-course/TRM_d36_L1_H1_C12_28k_LegalW0p5

Text Generation • Updated 1 minute ago • 9

LLM-course/TRM_d36_L1_H1_C10_28k_LegalW0p5

Text Generation • Updated 1 minute ago • 10

LLM-course/TRM_d24_L1_H2_C32_10k_LegalW0p5

Text Generation • Updated 1 minute ago • 11

LLM-course/TRM_d24_L1_H2_C2_10k_LegalW0p5

Text Generation • Updated 1 minute ago • 15

View 907 models

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated about 2 hours ago • 510 • 2.73k