methodya/1stapproachDeepsekPhilo_v2
Updated
•
1
Edit Models filters
Inference Providers
Active filters:
deepseek-ai/deepseek-coder-1.3b-base
lacuna/ds2-finetuned
Updated
yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base
Updated
yalhessi/lemexp-afp-small-thms-deepseek-coder-1.3b-base
Updated
yalhessi/lemexp-processed-task1_min_symbols_lemma_command_small-deepseek-coder-1.3b-base
Updated
•
1
yalhessi/lemexp-processed-task1_min_symbols_lemma_object_small-deepseek-coder-1.3b-base
Updated
•
1
yalhessi/lemexp-processed-task1_min_symbols_template_small-deepseek-coder-1.3b-base
Updated
•
186
yalhessi/lemexp-processed-task1_min_symbols_template_small-deepseek-coder-1.3b-base-test
Updated
yalhessi/lemexp-task1-more_symbols_template_small-deepseek-coder-1.3b-base
Updated
Feedplay/ux-design-expert
Updated
•
1
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-fsdp
Updated
•
16
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp
Updated
•
71
yalhessi/lemexp-task1-min_symbols_template_full-deepseek-coder-1.3b-base-ddp
Updated
•
31
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-2lr
Updated
•
50
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-big-lr
Updated
•
34
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-16lr
Updated
•
18
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-12lr
Updated
•
17
yalhessi/lemexp-task1-min_symbols_template_full-deepseek-coder-1.3b-base-ddp-12lr
Updated
•
16
yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-4lr
Updated
•
18
stojchet/kto4
Updated
•
7
stojchet/dpo4
Updated
•
11
yalhessi/lemexp-task3-small-deepseek-coder-1.3b-base-ddp-8lr
Updated
•
74
yalhessi/lemexp-task4-option1_small-deepseek-coder-1.3b-base-ddp-8lr
Updated
•
18
yalhessi/lemexp-task4-option2_small-deepseek-coder-1.3b-base-ddp-8lr
Updated
•
67
yalhessi/task1_min_symbols_lemma_command_full
Updated
•
3
yalhessi/task1_min_symbols_lemma_object_full
Updated
•
1
yalhessi/task1_min_symbols_template_full
Updated
•
1
yalhessi/task1_more_symbols_lemma_command_small
Updated
•
1
yalhessi/task1_more_symbols_lemma_object_small
Updated
•
3
yalhessi/task1_more_symbols_template_small
Updated
•
1