MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow updated a dataset about 4 hours ago

LLM-course/chess-challenge-leaderboard

nathanael-fijalkow updated a model about 5 hours ago

LLM-course/my-chess-model

nathanael-fijalkow published a model about 5 hours ago

LLM-course/my-chess-model

View all activity

spaces 1

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

models 1

LLM-course/my-chess-model

Text Generation • 910k • Updated about 5 hours ago

datasets 1

LLM-course/chess-challenge-leaderboard

Viewer • Updated about 4 hours ago • 2 • 29