MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow updated a dataset about 23 hours ago

LLM-course/zork-submission

nathanael-fijalkow published a dataset 8 days ago

LLM-course/zork-submission

dlouapre new activity 8 days ago

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

View all activity

LLM-course 's Spaces 5

Chess Challenge Arena

Play Chess like a Honey Bee

Agentic Zork

Play and build AI agents for classic text adventure games

Text Adventure Agent Submission

README

Official Organization for the course Large Language Models f

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)

LLM-course (MVA+IASD LLM for code and proof)

MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow updated a dataset about 23 hours ago

LLM-course/zork-submission

nathanael-fijalkow published a dataset 8 days ago

LLM-course/zork-submission

dlouapre new activity 8 days ago

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

View all activity

LLM-course 's Spaces 5

Chess Challenge Arena

Play Chess like a Honey Bee

Agentic Zork

Play and build AI agents for classic text adventure games

Text Adventure Agent Submission

README

Official Organization for the course Large Language Models f

Lipogram Challenge Submission

Two exercises (La Disparition and Toulouse cancelling)