MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

stephecw published a Space 11 days ago

LLM-course/Text-game-agent-EILLES

nathanael-fijalkow updated a Space 12 days ago

LLM-course/codenames

nathanael-fijalkow updated a Space 17 days ago

LLM-course/Agentic-zork

View all activity

LLM-course 's models 961

LLM-course/ParetoFrontierTRM_43k12Cycle_d48_L1_H1

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontierTRM_43k8Cycle_d48_L1_H1

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontierTRM_43k4Cycle_d48_L1_H1

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontierTRM_43k12Cycle_d48_L1_H2

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontierTRM_996k8Cycle

Text Generation • 996k • Updated Jan 23

LLM-course/ParetoFrontierTRM_996k4Cycle

Text Generation • 996k • Updated Jan 23

LLM-course/ParetoFrontierTRM_485k2Cycle

Text Generation • 485k • Updated Jan 23

LLM-course/ParetoFrontierTRM_485k8Cycle

Text Generation • 485k • Updated Jan 23

LLM-course/ParetoFrontierTRM_485k4Cycle

Text Generation • 485k • Updated Jan 23

LLM-course/ParetoFrontierTRM_240k8Cycle

Text Generation • 240k • Updated Jan 23

LLM-course/ParetoFrontierTRM_43k4Cycle_d48_L1_H2

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontierTRM_97k2Cycle

Text Generation • 97.4k • Updated Jan 23

LLM-course/ParetoFrontierTRM_97k4Cycle_d80_L1_H2

Text Generation • 97.4k • Updated Jan 23

LLM-course/ParetoFrontierTRM_97k8Cycle

Text Generation • 97.4k • Updated Jan 23

LLM-course/ParetoFrontierTRM_49k32Cycle

Text Generation • 49.2k • Updated Jan 23

LLM-course/ParetoFrontierTRM_28k10Cycle

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontierTRM_28k8Cycle

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontierTRM_28k6Cycle

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontierTRM_16k32Cycle

Text Generation • 15.8k • Updated Jan 23

LLM-course/ParetoFrontierTRM_16k16Cycle

Text Generation • 15.8k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C12_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C10_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C8_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C6_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C4_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C2_28kk_LegalW0p5

Text Generation • 28k • Updated Jan 23

LLM-course/chess-player-c2

Text Generation • 885k • Updated Jan 23 • 1

LLM-course/endless_chess

Text Generation • 877k • Updated Jan 23 • 1

LLM-course/gbl_chess_3

Text Generation • 999k • Updated Jan 23

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C6_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23