MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

azizbacha  updated a model about 8 hours ago

LLM-course/chess-player1

azizbacha  published a model about 8 hours ago

LLM-course/chess-player1

azizbacha  updated a model about 8 hours ago

LLM-course/chess_learning-v2

View all activity

Team members 193