MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow  updated a dataset 9 minutes ago

LLM-course/chess-challenge-leaderboard

khanghoang0902  updated a model 9 minutes ago

LLM-course/chess-khanghoang0902-baseline

crvrfr  updated a model about 1 hour ago

LLM-course/test

View all activity

Team members 177