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

LLM-course/zork-submission

nathanael-fijalkow published a dataset 8 days ago

LLM-course/zork-submission

dlouapre new activity 8 days ago

LLM-course/chess-trm-powerful:small TRM

View all activity

LLM-course 's models 962

LLM-course/chess-clement-v2

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

LLM-course/model_new_b2

Text Generation • 862k • Updated 16 days ago • 17

LLM-course/TRM_d80_L1_H2_C8_89k_LegalW0p5

Text Generation • Updated 17 days ago • 25

LLM-course/TRM_d80_L1_H2_C4_89k_LegalW0p5

Text Generation • Updated 17 days ago • 26

LLM-course/TRM_d80_L1_H2_C2_89k_LegalW0p5

Text Generation • Updated 17 days ago • 23

LLM-course/TRM_d80_L1_H2_C16_89k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d72_L4_H4_C8_260k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d48_L1_H2_C8_43k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d48_L1_H2_C6_43k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d48_L1_H2_C2_43k_LegalW0p5

Text Generation • Updated 17 days ago • 23

LLM-course/TRM_d48_L1_H2_C12_43k_LegalW0p5

Text Generation • Updated 17 days ago • 26

LLM-course/TRM_d48_L1_H1_C8_43k_LegalW0p5

Text Generation • Updated 17 days ago • 23

LLM-course/TRM_d48_L1_H1_C4_43k_LegalW0p5

Text Generation • Updated 17 days ago • 20

LLM-course/TRM_d48_L1_H1_C12_43k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d40_L2_H2_C32_44k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d36_L1_H2_C8_28k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d36_L1_H2_C6_28k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d36_L1_H2_C4_28k_LegalW0p5

Text Generation • Updated 17 days ago • 23

LLM-course/TRM_d36_L1_H2_C2_28k_LegalW0p5

Text Generation • Updated 17 days ago • 23

LLM-course/TRM_d36_L1_H2_C12_28k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d36_L1_H2_C10_28k_LegalW0p5

Text Generation • Updated 17 days ago • 25

LLM-course/TRM_d36_L1_H1_C8_28k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d36_L1_H1_C6_28k_LegalW0p5

Text Generation • Updated 17 days ago • 20

LLM-course/TRM_d36_L1_H1_C4_28k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d36_L1_H1_C2_28k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d36_L1_H1_C12_28k_LegalW0p5

Text Generation • Updated 17 days ago • 21

LLM-course/TRM_d36_L1_H1_C10_28k_LegalW0p5

Text Generation • Updated 17 days ago • 26

LLM-course/TRM_d24_L1_H2_C32_10k_LegalW0p5

Text Generation • Updated 17 days ago • 22

LLM-course/TRM_d24_L1_H2_C2_10k_LegalW0p5

Text Generation • Updated 17 days ago • 27

LLM-course/TRM_d24_L1_H2_C16_10k_LegalW0p5

Text Generation • Updated 17 days ago • 30