MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

agroudiev  updated a model less than a minute ago

LLM-course/chess-agroudiev

nathanael-fijalkow  updated a dataset 36 minutes ago

LLM-course/chess-challenge-leaderboard

Juki33  updated a model 38 minutes ago

LLM-course/ChessNN-9L-juki

View all activity

Team members 156