MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

janisaiad updated a model 7 minutes ago

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C8_500k_LegalW0p5_ckpt6000

janisaiad published a model 8 minutes ago

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C8_500k_LegalW0p5_ckpt6000

janisaiad updated a model 24 minutes ago

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C4_500k_LegalW0p5_ckpt92000

View all activity

LLM-course 's Spaces 3

Chess Challenge Arena

Play Chess like a Honey Bee

README

Official Organization for the course Large Language Models f

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)