MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

Large Language Models

Recent Activity

nathanael-fijalkow new activity 20 minutes ago

LLM-course/chess_vre:🏆 Evaluation Results

nathanael-fijalkow updated a dataset 20 minutes ago

LLM-course/chess-challenge-leaderboard

VreVre updated a model 23 minutes ago

LLM-course/chess_vre

View all activity

LLM-course 's models 754

LLM-course/chess_vre

Text Generation • 974k • Updated 23 minutes ago

LLM-course/chess_willy_v2

Text Generation • 974k • Updated about 2 hours ago

LLM-course/chess-player-v2

Text Generation • 997k • Updated about 3 hours ago • 68

LLM-course/ParetoFrontier485k_v1_pareto_TRM_d120_L3_H4_C8_485kk_LegalW0p5

Text Generation • 485k • Updated about 4 hours ago

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C12_43kk_LegalW0p5

Text Generation • 43.1k • Updated about 4 hours ago

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C4_43kk_LegalW0p5

Text Generation • 43.1k • Updated about 4 hours ago

LLM-course/ParetoFrontier43k_v1_pareto_TRM_d48_L1_H2_C8_43kk_LegalW0p5

Text Generation • 43.1k • Updated about 4 hours ago

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

Text Generation • 485k • Updated about 4 hours ago

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

Text Generation • 43.1k • Updated about 4 hours ago

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

Text Generation • 43.1k • Updated about 4 hours ago

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

Text Generation • 43.1k • Updated about 4 hours ago

LLM-course/chess-ilan-v6

Text Generation • 799k • Updated about 9 hours ago • 14

LLM-course/chess-ilan-v5

Text Generation • 799k • Updated about 9 hours ago • 17

LLM-course/chess_willy_v1

Text Generation • 32.3k • Updated about 9 hours ago • 16

LLM-course/willy-chess-test

Text Generation • 32.3k • Updated about 9 hours ago • 15

LLM-course/chess-ilan-v4

Text Generation • 799k • Updated about 9 hours ago • 8

LLM-course/clement-chess-v1

Text Generation • 706k • Updated about 13 hours ago • 11

LLM-course/chess-learning-v2

Text Generation • 953k • Updated about 13 hours ago • 9

LLM-course/chess-submission-v21-MDaytek

Text Generation • 1.05M • Updated about 16 hours ago • 159

LLM-course/chess_zak_seventh

Text Generation • 967k • Updated about 16 hours ago • 12

LLM-course/chess_zak_sixth

Text Generation • 967k • Updated about 17 hours ago • 8

LLM-course/chess-barth-v3

Text Generation • 979k • Updated about 17 hours ago • 7

LLM-course/chess_gh_01

Text Generation • 926k • Updated 1 day ago • 13

LLM-course/chess-maxence-V2

Text Generation • 798k • Updated 2 days ago • 16

LLM-course/chess-maxence-tokenV1

Text Generation • 926k • Updated 2 days ago • 10

LLM-course/ghaith-chess-vf

Text Generation • 926k • Updated 2 days ago • 14

LLM-course/chess-model2-giu

Text Generation • 912k • Updated 2 days ago • 90

LLM-course/chess_Hamza

Text Generation • 713k • Updated 2 days ago • 12

LLM-course/chess-player1

Text Generation • 953k • Updated 2 days ago • 26

LLM-course/chess_learning-v2

Text Generation • 953k • Updated 2 days ago • 12