MVA+IASD LLM for code and proof

classroom

https://llm.labri.fr/

nathanael-fijalkow

AI & ML interests

None defined yet.

Recent Activity

nathanael-fijalkow updated a dataset 5 minutes ago

LLM-course/chess-challenge-leaderboard

bouhss updated a model 24 minutes ago

LLM-course/chess-stockbird3

bouhss published a model 24 minutes ago

LLM-course/chess-stockbird3

View all activity

LLM-course 's models 716

LLM-course/chess-stockbird3

Text Generation • 992k • Updated 24 minutes ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H8_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 1 hour ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H6_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H4_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H3_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H2_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H1_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H8_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H6_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H4_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H3_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H2_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 2 hours ago

LLM-course/ParetoTinyRNNTransformers16k_v5_pareto_TRM_d24_L1_H1_C2_16kk_LegalW0p5

Text Generation • 15.8k • Updated about 3 hours ago

LLM-course/ParetoTinyRNNTransformers72k_v4_ramp_TRM_d72_L4_H4_C8_250k_LegalW0p5_ckpt20000

Text Generation • 240k • Updated about 3 hours ago

LLM-course/ParetoTinyRNNTransformers240k_v4_ramp_TRM_d72_L4_H4_C8_250k_LegalW0p5_ckpt18000

Text Generation • 240k • Updated about 3 hours ago

LLM-course/ParetoTinyRNNTransformers120k_v4_ramp_TRM_d120_L3_H4_C8_500k_LegalW0p5_epoch14000

Text Generation • 485k • Updated about 3 hours ago

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C8_500k_LegalW0p5_ckpt6000

Text Generation • 485k • Updated about 3 hours ago

LLM-course/ParetoTinyRNNTransformers485k_v4_ramp_TRM_d120_L3_H4_C4_500k_LegalW0p5_ckpt92000

Text Generation • 485k • Updated about 4 hours ago

LLM-course/chess-submission-v21-MDaytek

Text Generation • 998k • Updated about 4 hours ago

LLM-course/ParetoTinyRNNTransformers43k_v5_cycles_TRM_d48_L1_H6_C16_d48_LegalW0p5_ckpt58000

Text Generation • 43.1k • Updated about 4 hours ago

LLM-course/mwane-chess-sprint-v1-fixed

Text Generation • 872k • Updated about 5 hours ago

LLM-course/chess-model-KHOUTAIBI_gated

Text Generation • 992k • Updated about 5 hours ago

LLM-course/ParetoTinyRNNTransformers240k_v4_cycles_TRM_d72_L4_H4_C8_250k_LegalW0p5_ckpt14000

Text Generation • 240k • Updated about 5 hours ago

LLM-course/chess-stockbird2

Text Generation • 992k • Updated about 5 hours ago • 5

LLM-course/chess-llm-louish

Text Generation • 779k • Updated about 6 hours ago

LLM-course/ParetoTinyRNNTransformers97k_v4_cycles_TRM_d80_L1_H2_C16_100k_LegalW0p5_ckpt22000

Text Generation • 97.4k • Updated about 6 hours ago

LLM-course/ParetoTinyRNNTransformers97k_v4_cycles_TRM_d80_L1_H2_C8_100k_LegalW0p5

Text Generation • 97.4k • Updated about 6 hours ago

LLM-course/chess-nadia-v4

Text Generation • 1M • Updated about 6 hours ago

LLM-course/ParetoTinyRNNTransformers97k_v4_cycles_TRM_d80_L1_H2_C4_100k_LegalW0p5

Text Generation • 97.4k • Updated about 6 hours ago

LLM-course/ParetoTinyRNNTransformers97k_v4_cycles_TRM_d80_L1_H2_C2_100k_LegalW0p5

Text Generation • 97.4k • Updated about 6 hours ago