Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
MVA+IASD LLM for code and proof
classroom
https://llm.labri.fr/
nathanael-fijalkow
Activity Feed
Follow
158
AI & ML interests
None defined yet.
Team members
152
+118
+105
+84
+74
+54
LLM-course
's datasets
1
Sort: Recently updated
LLM-course/chess-challenge-leaderboard
Viewer
•
Updated
6 days ago
•
29
