MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

mwane  updated a model 19 minutes ago

LLM-course/mwane-chess-grandmaster-v1-fixed

mwane  published a model 19 minutes ago

LLM-course/mwane-chess-grandmaster-v1-fixed

nathanael-fijalkow  new activity 21 minutes ago

LLM-course/Bapfel-v0:🏆 Evaluation Results

View all activity

Team members 197