MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

Sunxt25  updated a model about 1 hour ago

LLM-course/chess-Sunxt25

Eithannak  updated a model about 2 hours ago

LLM-course/chess-model-eithan-nakache

nathanael-fijalkow  updated a dataset about 3 hours ago

LLM-course/chess-challenge-leaderboard

View all activity

Team members 156