Models

yalhessi/task1_more_symbols_lemma_command_full

Updated Mar 20 • 2

yalhessi/lemexp-task1-min_symbols_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 21 • 2

yalhessi/lemexp-task1-min_symbols_lemma_command_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 21 • 2

yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 21 • 2

benjidry/coprinter-community-manager

Updated Mar 21

yalhessi/lemexp-task2-ordered_template_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 22 • 2

yalhessi/lemexp-task2-extra_template_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 22 • 2

yalhessi/lemexp-task2-ordered_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 22 • 2

yalhessi/lemexp-task2-extra_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 22 • 2

yalhessi/lemexp-task1-lemma_command_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 25 • 3

yalhessi/lemexp-task1-lemma_command_full-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 25 • 2

yalhessi/lemexp-task1-template_full-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 27 • 2

yalhessi/lemexp-task2-unordered_template_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 26 • 2

yalhessi/lemexp-task2-unordered_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 26 • 2

yalhessi/lemexp-task1-template_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 26 • 5

yalhessi/lemexp-task1-lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 26 • 2

yalhessi/lemexp-task1-lemma_object_full-deepseek-coder-1.3b-base-ddp-8lr

Updated Mar 27 • 2

ngdangkhanh/deepseek-finetuned

Updated Mar 31 • 2

yalhessi/lemexp-task1-template_small-deepseek-coder-1.3b-base-ddp-8lr-1bs

Updated Apr 7 • 6

malkikothalawala/deepseek-coder-finetuned

Updated Apr 10 • 5

malkikothalawala/deepseek-coder-finetuned-v2

Updated Apr 14 • 4

Angwise/Fate-Train

Updated Apr 29 • 4

yalhessi/lemexp-task1-v2-template_small-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 28 • 148

yalhessi/lemexp-task1-v2-template_small_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 28 • 5

yalhessi/lemexp-task1-v2-lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 30 • 6

yalhessi/lemexp-task1-v2-lemma_object_small_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 30 • 6

yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 29 • 36

yalhessi/lemexp-task1-v2-lemma_object_small_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 31 • 4

yalhessi/lemexp-task1-v2-template_small_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 12 • 4

yalhessi/lemexp-task1-v2-template_small_notypes_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2

Updated May 13 • 4