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 / README.md

Commit History

End of training

7224717
verified

yalhessi commited on Feb 2