MVA+IASD LLM for code and proof

AI & ML interests

None defined yet.

Recent Activity

janisaiad  updated a model 3 minutes ago

LLM-course/ParetoTinyRNNTransformers98k_v4_cycles_TRM_d80_L1_H2_C2_100k_LegalW0p5

janisaiad  published a model 3 minutes ago

LLM-course/ParetoTinyRNNTransformers98k_v4_cycles_TRM_d80_L1_H2_C2_100k_LegalW0p5

etienneLefranc  updated a model 9 minutes ago

LLM-course/chess-etiennelefranc-colab-v2

View all activity

Team members 192