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 1 hour 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/TRM_d48_L1_H2_C4_35k_LegalW0p5

Text Generation • Updated 12 days ago • 25

LLM-course/TRM_d48_L1_H2_C8_35k_LegalW0p5

Text Generation • Updated 12 days ago • 63

LLM-course/chess-proven-1M-MDaytek

Text Generation • 999k • Updated 13 days ago • 13

LLM-course/chess-intelligent-MDaytek

Text Generation • 829k • Updated 15 days ago • 9

LLM-course/chess-MDaytek

Text Generation • 908k • Updated 15 days ago • 31

LLM-course/chess-20260126_074025-MDaytek

Text Generation • 908k • Updated 15 days ago • 12

LLM-course/simple_tokenizer

Text Generation • 861k • Updated 16 days ago • 18

LLM-course/chess-submission-v21-MDaytek

Text Generation • 982k • Updated 16 days ago • 390

LLM-course/chess-yassine

Text Generation • 864k • Updated 16 days ago • 15

LLM-course/supermodell

Text Generation • 864k • Updated 16 days ago • 13

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

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

LLM-course/Bapfel-v0

Text Generation • 974k • Updated 16 days ago • 20

LLM-course/chess-duc-backup

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

LLM-course/chess_model_khg

Text Generation • 872k • Updated 16 days ago • 20 • 1

LLM-course/amine-final

Text Generation • 864k • Updated 16 days ago • 18

LLM-course/chess-clement-v5

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

LLM-course/model_kheng

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

LLM-course/chess_trandre10_v3

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

LLM-course/chess-trm-powerful

Text Generation • 994k • Updated 16 days ago • 15

LLM-course/chess_besthoneyhoney

Text Generation • 1.01M • Updated 16 days ago • 12

LLM-course/chess-behemoth-666

Text Generation • 948k • Updated 16 days ago • 27

LLM-course/chess-6-Oceane28

Text Generation • 996k • Updated 16 days ago • 26

LLM-course/chess_oussamalez_overfit

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

LLM-course/oussamalez-chess-overfitter

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

LLM-course/chess-model-bnz

Text Generation • 996k • Updated 16 days ago • 13

LLM-course/chess_model_adrien_1

Text Generation • 998k • Updated 16 days ago • 15

LLM-course/chess_thandre10_v3

Text Generation • 738k • Updated 16 days ago • 13

LLM-course/chess-malekfeki-v7

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

LLM-course/chess_filo_12

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

LLM-course/chess_thandre10_v2

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

LLM-course (MVA+IASD LLM for code and proof)

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 1 hour 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/TRM_d48_L1_H2_C4_35k_LegalW0p5

Text Generation • Updated 12 days ago • 25

LLM-course/TRM_d48_L1_H2_C8_35k_LegalW0p5

Text Generation • Updated 12 days ago • 63

LLM-course/chess-proven-1M-MDaytek

Text Generation • 999k • Updated 13 days ago • 13

LLM-course/chess-intelligent-MDaytek

Text Generation • 829k • Updated 15 days ago • 9

LLM-course/chess-MDaytek

Text Generation • 908k • Updated 15 days ago • 31

LLM-course/chess-20260126_074025-MDaytek

Text Generation • 908k • Updated 15 days ago • 12

LLM-course/simple_tokenizer

Text Generation • 861k • Updated 16 days ago • 18

LLM-course/chess-submission-v21-MDaytek

Text Generation • 982k • Updated 16 days ago • 390

LLM-course/chess-yassine

Text Generation • 864k • Updated 16 days ago • 15

LLM-course/supermodell

Text Generation • 864k • Updated 16 days ago • 13

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

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

LLM-course/Bapfel-v0

Text Generation • 974k • Updated 16 days ago • 20

LLM-course/chess-duc-backup

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

LLM-course/chess_model_khg

Text Generation • 872k • Updated 16 days ago • 20 • 1

LLM-course/amine-final

Text Generation • 864k • Updated 16 days ago • 18

LLM-course/chess-clement-v5

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

LLM-course/model_kheng

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

LLM-course/chess_trandre10_v3

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

LLM-course/chess-trm-powerful

Text Generation • 994k • Updated 16 days ago • 15

LLM-course/chess_besthoneyhoney

Text Generation • 1.01M • Updated 16 days ago • 12

LLM-course/chess-behemoth-666

Text Generation • 948k • Updated 16 days ago • 27

LLM-course/chess-6-Oceane28

Text Generation • 996k • Updated 16 days ago • 26

LLM-course/chess_oussamalez_overfit

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

LLM-course/oussamalez-chess-overfitter

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

LLM-course/chess-model-bnz

Text Generation • 996k • Updated 16 days ago • 13

LLM-course/chess_model_adrien_1

Text Generation • 998k • Updated 16 days ago • 15

LLM-course/chess_thandre10_v3

Text Generation • 738k • Updated 16 days ago • 13

LLM-course/chess-malekfeki-v7

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

LLM-course/chess_filo_12

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

LLM-course/chess_thandre10_v2

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