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

LLM-course/chess-submission-v21-MDaytek

ghaith1014 updated a model about 8 hours ago

LLM-course/chess_gh_01

ghaith1014 published a model about 8 hours ago

LLM-course/chess_gh_01

View all activity

LLM-course 's models 734

LLM-course/chess-submission-v21-MDaytek

Text Generation • 1.03M • Updated about 7 hours ago • 105

LLM-course/chess_gh_01

Text Generation • 926k • Updated about 8 hours ago

LLM-course/chess-player-v2

Text Generation • 998k • Updated about 10 hours ago • 57

LLM-course/chess-maxence-V2

Text Generation • 798k • Updated about 10 hours ago

LLM-course/chess-maxence-tokenV1

Text Generation • 926k • Updated about 11 hours ago

LLM-course/ghaith-chess-vf

Text Generation • 926k • Updated about 13 hours ago

LLM-course/chess-model2-giu

Text Generation • 912k • Updated about 13 hours ago • 78

LLM-course/chess_Hamza

Text Generation • 713k • Updated about 17 hours ago

LLM-course/chess-player1

Text Generation • 953k • Updated 1 day ago • 21

LLM-course/chess_learning-v2

Text Generation • 953k • Updated 1 day ago • 8

LLM-course/chess_learning-v1

Text Generation • 953k • Updated 1 day ago • 10

LLM-course/chess-test

Text Generation • 910k • Updated 1 day ago • 15

LLM-course/chess-llm-louish2

Text Generation • 779k • Updated 1 day ago • 18

LLM-course/smile_chess_chellenge01

Text Generation • 988k • Updated 1 day ago • 16

LLM-course/chess-ilan-v2

Text Generation • 587k • Updated 1 day ago • 17

LLM-course/TRM_d120_L3_H4_C8_537k_openings_ckpt16000

Text Generation • 485k • Updated 1 day ago • 10

LLM-course/my-chess-model

Text Generation • 910k • Updated 1 day ago • 32

LLM-course/chess-Sunxt25

Text Generation • 922k • Updated 1 day ago • 200

LLM-course/chess-sunxt25-1

Text Generation • 922k • Updated 1 day ago • 27

LLM-course/chess_filo_7

Text Generation • 886k • Updated 1 day ago • 10

LLM-course/chess_vre_

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

LLM-course/ParetoTinyRNNTransformers_d48_L1_H2_C8_v6_d48

Text Generation • 43.1k • Updated 1 day ago • 11

LLM-course/chess_montoyaporfavor3

Text Generation • 998k • Updated 1 day ago • 9

LLM-course/montoyaporfavor3

Text Generation • 998k • Updated 1 day ago • 9

LLM-course/chess_MaximeMuh3

Text Generation • Updated 1 day ago • 17

LLM-course/chess-stockbird3

Text Generation • 992k • Updated 2 days ago • 13

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H8_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated 2 days ago • 6

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H6_C2_22kk_LegalW0p5

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

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H4_C2_22kk_LegalW0p5

Text Generation • 21.8k • Updated 2 days ago • 5

LLM-course/ParetoTinyRNNTransformers22k_v5_pareto_TRM_d24_L2_H3_C2_22kk_LegalW0p5

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