yalhessi
/

lemexp-hol-thms-by-file-deepseek-coder-1.3b-base

Generated from Trainer

Model card Files Files and versions

lemexp-hol-thms-by-file-deepseek-coder-1.3b-base / loss_plot.png

yalhessi's picture

End of training

7224717 verified 10 months ago

26.5 kB