No application file
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated
a model
about 20 hours ago
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
updated
a model
3 days ago
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
updated
a model
3 days ago
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Organizations
None yet
models
167
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
Updated
•
125
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
Updated
•
180
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Updated
•
110
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-6.7b-base
Updated
yalhessi/lemexp-task1-v3-lemma_object_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
yalhessi/lemexp-task1-v3-template_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
yalhessi/lemexp-task1-v3-template_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
yalhessi/lemexp-task1-v3-lemma_object_full_notypes-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
datasets
33
yalhessi/lemexp-predictions
Updated
•
262
yalhessi/lemexp-rediscovery-v3
Viewer
•
Updated
•
9.83k
•
126
yalhessi/lemexp-task1-v3-eval-results
Viewer
•
Updated
•
1.35M
•
10
yalhessi/lemexp-predictions-v3
Viewer
•
Updated
•
350
•
10
yalhessi/lemexp-task1-v3
Viewer
•
Updated
•
3.28M
•
91
yalhessi/lemexp-raw-v3
Viewer
•
Updated
•
756k
•
8
yalhessi/lemexp-task1-v2
Viewer
•
Updated
•
5.1M
•
77
yalhessi/lemexp-raw-v2
Viewer
•
Updated
•
1.35M
•
13
yalhessi/lemexp-task1-v2-eval-results
Viewer
•
Updated
•
519k
•
30
yalhessi/lemexp-task4-v2
Viewer
•
Updated
•
188k
•
10