MVA+IASD LLM for code and proof

AI & ML interests

Large Language Models

Recent Activity

Dhia-GB  authored a paper 11 days ago

TERMINATOR: Learning Optimal Exit Points for Early Stopping in Chain-of-Thought Reasoning

stephecw  published a Space 24 days ago

LLM-course/Text-game-agent-EILLES

nathanael-fijalkow  updated a Space 24 days ago

LLM-course/codenames

View all activity

Team members 213