MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow  updated a dataset 1 day ago

LLM-course/zork-submission

nathanael-fijalkow  published a dataset 3 days ago

LLM-course/zork-submission

dlouapre  new activity 3 days ago

LLM-course/chess-trm-powerful:small TRM

View all activity

Team members 198