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 6 hours ago

LLM-course/zork-submission

nathanael-fijalkow updated a Space about 8 hours ago

LLM-course/lipogram-challenge-submission

nathanael-fijalkow updated a Space about 8 hours ago

LLM-course/Chess1MChallenge

View all activity

LLM-course 's models 962

LLM-course/ParetoFrontierTRM_43k2Cycle

Text Generation • 43.1k • Updated 19 days ago • 12

LLM-course/ParetoFrontierTRM_43k12Cycle_d48_L1_H1

Text Generation • 43.1k • Updated 19 days ago • 13

LLM-course/ParetoFrontierTRM_43k8Cycle_d48_L1_H1

Text Generation • 43.1k • Updated 19 days ago • 12

LLM-course/ParetoFrontierTRM_43k4Cycle_d48_L1_H1

Text Generation • 43.1k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_43k12Cycle_d48_L1_H2

Text Generation • 43.1k • Updated 19 days ago • 9

LLM-course/ParetoFrontierTRM_996k8Cycle

Text Generation • 996k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_996k4Cycle

Text Generation • 996k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_485k2Cycle

Text Generation • 485k • Updated 19 days ago • 9

LLM-course/ParetoFrontierTRM_485k8Cycle

Text Generation • 485k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_485k4Cycle

Text Generation • 485k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_240k8Cycle

Text Generation • 240k • Updated 19 days ago • 9

LLM-course/ParetoFrontierTRM_43k4Cycle_d48_L1_H2

Text Generation • 43.1k • Updated 19 days ago • 15

LLM-course/ParetoFrontierTRM_97k2Cycle

Text Generation • 97.4k • Updated 19 days ago • 9

LLM-course/ParetoFrontierTRM_97k4Cycle_d80_L1_H2

Text Generation • 97.4k • Updated 19 days ago • 15

LLM-course/ParetoFrontierTRM_97k8Cycle

Text Generation • 97.4k • Updated 19 days ago • 13

LLM-course/ParetoFrontierTRM_49k32Cycle

Text Generation • 49.2k • Updated 19 days ago • 13

LLM-course/ParetoFrontierTRM_28k10Cycle

Text Generation • 28k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_28k8Cycle

Text Generation • 28k • Updated 19 days ago • 13

LLM-course/ParetoFrontierTRM_28k6Cycle

Text Generation • 28k • Updated 19 days ago • 10

LLM-course/ParetoFrontierTRM_16k32Cycle

Text Generation • 15.8k • Updated 19 days ago • 9

LLM-course/ParetoFrontierTRM_16k16Cycle

Text Generation • 15.8k • Updated 19 days ago • 12

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C12_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 12

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C10_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 13

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C8_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 10

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C6_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 13

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C4_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 9

LLM-course/ParetoFrontier28k_v1_pareto_TRM_d36_L1_H1_C2_28kk_LegalW0p5

Text Generation • 28k • Updated 19 days ago • 9

LLM-course/chess-player-c2

Text Generation • 885k • Updated 19 days ago • 12

LLM-course/endless_chess

Text Generation • 877k • Updated 19 days ago • 13

LLM-course/gbl_chess_3

Text Generation • 999k • Updated 19 days ago • 27