No application file
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated
a model
9 days ago
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
updated
a model
11 days ago
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
updated
a model
11 days ago
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Organizations
None yet