No application file
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Organizations
None yet
models 167
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
Updated
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
Updated
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Updated
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 • 16
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
datasets 33
yalhessi/lemexp-predictions
Updated • 13
yalhessi/lemexp-rediscovery-v3
Viewer • Updated • 9.83k • 12
yalhessi/lemexp-task1-v3-eval-results
Viewer • Updated • 1.35M • 29
yalhessi/lemexp-predictions-v3
Viewer • Updated • 350 • 5
yalhessi/lemexp-task1-v3
Viewer • Updated • 3.28M • 4
yalhessi/lemexp-raw-v3
Viewer • Updated • 756k • 4
yalhessi/lemexp-task1-v2
Viewer • Updated • 5.1M • 17
yalhessi/lemexp-raw-v2
Viewer • Updated • 1.35M • 7
yalhessi/lemexp-task1-v2-eval-results
Viewer • Updated • 519k • 6
yalhessi/lemexp-task4-v2
Viewer • Updated • 188k • 5