yalhessi/lemexp-task3-small-deepseek-coder-1.3b-base-ddp-8lr
Updated
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated
a model
27 days ago
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
updated
a model
29 days ago
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
updated
a model
29 days ago
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Organizations
None yet
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-4lr
Updated
yalhessi/lemexp-task1-min_symbols_template_full-deepseek-coder-1.3b-base-ddp-12lr
Updated
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-12lr
Updated
•
3
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-16lr
Updated
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-big-lr
Updated
•
1
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-2lr
Updated
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp
Updated
yalhessi/lemexp-task1-min_symbols_template_full-deepseek-coder-1.3b-base-ddp
Updated
•
1
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-fsdp
Updated
•
1
yalhessi/lemexp-task1-more_symbols_template_small-deepseek-coder-1.3b-base
Updated
•
1
yalhessi/lemexp-processed-task1_min_symbols_template_small-deepseek-coder-1.3b-base-test
Updated
•
2
yalhessi/lemexp-processed-task1_min_symbols_template_small-deepseek-coder-1.3b-base
Updated
yalhessi/lemexp-processed-task1_min_symbols_lemma_object_small-deepseek-coder-1.3b-base
Updated
yalhessi/lemexp-processed-task1_min_symbols_lemma_command_small-deepseek-coder-1.3b-base
Updated
yalhessi/lemexp-afp-small-thms-deepseek-coder-1.3b-base
Updated
•
2
yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base
Updated
•
2