MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

mohamedamine6  updated a model about 5 hours ago

LLM-course/chess_endless

mohamedamine6  published a model about 5 hours ago

LLM-course/chess_endless

nathanael-fijalkow  updated a dataset about 5 hours ago

LLM-course/chess-challenge-leaderboard

View all activity

Team members 174