MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow updated a dataset about 11 hours ago

LLM-course/chess-challenge-leaderboard

nathanael-fijalkow updated a Space about 11 hours ago

LLM-course/Chess1MChallenge

nathanael-fijalkow updated a dataset about 15 hours ago

LLM-course/zork-submission

View all activity

LLM-course 's models 962

LLM-course/chess-model-eithan

Text Generation • 1.19M • Updated Jan 13 • 8

LLM-course/chess-pandada

Text Generation • 910k • Updated Jan 13 • 4