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 6 months ago

history contribute delete

26.5 kB