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 3 days ago

LLM-course/Text-game-agent-EILLES

nathanael-fijalkow updated a Space 3 days ago

LLM-course/codenames

nathanael-fijalkow updated a Space 8 days ago

LLM-course/Agentic-zork

View all activity

LLM-course 's models 961

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C2_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23 • 1

LLM-course/chess_willy_v3

Text Generation • 938k • Updated Jan 23 • 4

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H1_C12_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23 • 2

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H1_C8_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H1_C4_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23

LLM-course/clement-chess-v1

Text Generation • 706k • Updated Jan 23 • 2

LLM-course/chess_vre

Text Generation • 974k • Updated Jan 23 • 2

LLM-course/chess_willy_v2

Text Generation • 974k • Updated Jan 23 • 1

LLM-course/ParetoFrontier485k_v1_pareto_TRM_d120_L3_H4_C8_485kk_LegalW0p5

Text Generation • 485k • Updated Jan 23

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C12_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23 • 2

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C4_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23 • 1

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C8_43kk_LegalW0p5

Text Generation • 43.1k • Updated Jan 23 • 2

LLM-course/trm-d120-l3-h4-c8-537k-legalw0p5

Text Generation • 485k • Updated Jan 23

LLM-course/trm-d48-l1-h2-c12-43k-legalw0p5

Text Generation • 43.1k • Updated Jan 23 • 5

LLM-course/trm-d48-l1-h2-c4-35k-legalw0p5

Text Generation • 43.1k • Updated Jan 23

LLM-course/trm-d48-l1-h2-c8-35k-legalw0p5

Text Generation • 43.1k • Updated Jan 23

LLM-course/chess-ilan-v6

Text Generation • 799k • Updated Jan 23 • 1

LLM-course/chess-ilan-v5

Text Generation • 799k • Updated Jan 23

LLM-course/chess_willy_v1

Text Generation • 32.3k • Updated Jan 23 • 7

LLM-course/willy-chess-test

Text Generation • 32.3k • Updated Jan 23 • 5

LLM-course/chess-ilan-v4

Text Generation • 799k • Updated Jan 23 • 2

LLM-course/chess-learning-v2

Text Generation • 953k • Updated Jan 22 • 2

LLM-course/chess_zak_seventh

Text Generation • 967k • Updated Jan 22 • 2

LLM-course/chess_zak_sixth

Text Generation • 967k • Updated Jan 22 • 2

LLM-course/chess-barth-v3

Text Generation • 979k • Updated Jan 22 • 4

LLM-course/chess_gh_01

Text Generation • 926k • Updated Jan 21 • 2

LLM-course/chess-maxence-V2

Text Generation • 798k • Updated Jan 21 • 1

LLM-course/chess-maxence-tokenV1

Text Generation • 926k • Updated Jan 21 • 1

LLM-course/ghaith-chess-vf

Text Generation • 926k • Updated Jan 21 • 1

LLM-course/chess-model2-giu

Text Generation • 912k • Updated Jan 21 • 2