MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

MDaytek updated a model about 12 hours ago

LLM-course/chess-submission-v21-MDaytek

ghaith1014 updated a model about 13 hours ago

LLM-course/chess_gh_01

ghaith1014 published a model about 13 hours ago

LLM-course/chess_gh_01

View all activity

LLM-course 's models 734

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C2_10k_LegalW0p5_ckpt22000

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

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C16_10k_LegalW0p5_ckpt10000

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

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C16_10k_LegalW0p5_ckpt20000

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

LLM-course/chess_v25-MDaytek

Text Generation • 994k • Updated 2 days ago • 20

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C2_10k_LegalW0p5_ckpt2000

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

LLM-course/ParetoTinyRNNTransformers486k_v4_cycles_TRM_d120_L3_H4_C2_500k_LegalW0p5

Text Generation • 485k • Updated 2 days ago • 11

LLM-course/chess_v21-MDaytek

Text Generation • 969k • Updated 2 days ago • 17

LLM-course/ParetoTinyRNNTransformers485k_v4_cycles_TRM_d120_L3_H4_C2_500k_LegalW0p5

Text Generation • 485k • Updated 2 days ago • 8

LLM-course/chess_v23-MDaytek

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

LLM-course/ParetoTinyRNNTransformers49k_v4_cycles_TRM_d40_L2_H2_C32_50k_LegalW0p5

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

LLM-course/chess-duc-v6

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

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C32_10k_LegalW0p5

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

LLM-course/ParetoTinyRNNTransformers16k_v4_cycles_TRM_d24_L1_H2_C16_10k_LegalW0p5

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

LLM-course/ParetoTinyRNNTransformers996k_v4_cycles_TRM_d175_L3_H5_C8_999k_LegalW0p5

Text Generation • 996k • Updated 2 days ago • 9

LLM-course/chess-aj-split-v3

Text Generation • 1.12M • Updated 2 days ago • 21

LLM-course/chess_v22-MDaytek

Text Generation • 947k • Updated 3 days ago • 10

LLM-course/ParetoTinyRNNTransformers996k_v4_ramp_TRM_d175_L3_H5_C4_999k_LegalW0p5

Text Generation • 996k • Updated 3 days ago • 9

LLM-course/chess-model-chloecourt-v2

Text Generation • 993k • Updated 3 days ago • 23

LLM-course/chess-mtanre-v2

Text Generation • 992k • Updated 3 days ago • 17

LLM-course/chess-gpt-char-level-v7

Text Generation • 998k • Updated 3 days ago • 36

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C4_500k_LegalW0p5

Text Generation • 485k • Updated 3 days ago • 8

LLM-course/chess-llm-lh3

Text Generation • 886k • Updated 3 days ago • 13

LLM-course/chess-llm-lh2

Text Generation • 886k • Updated 3 days ago • 25

LLM-course/ParetoTinyRNNTransformers240k_v4_ramp_TRM_d72_L4_H4_C8_250k_LegalW0p5

Text Generation • 240k • Updated 3 days ago • 14

LLM-course/chess-etiennelefranc-colab

Text Generation • 910k • Updated 3 days ago • 10

LLM-course/chess-armand-blin-v-last-4

Text Generation • 974k • Updated 3 days ago • 129

LLM-course/smile_chess_chellenge

Text Generation • 969k • Updated 3 days ago • 15

LLM-course/chess_porfavormontoya2

Text Generation • 948k • Updated 3 days ago • 13

LLM-course/ParetoTinyRNNTransformers97k_v4_ramp_TRM_d80_L1_H2_C8_100k_LegalW0p5

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

LLM-course/chess-better-valbad

Text Generation • 440k • Updated 3 days ago • 14