No application file
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 23 hours ago
yalhessi/lemexp-predictions
updated
a model
1 day ago
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos
updated
a model
1 day ago
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos
Organizations
None yet
models
158
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos
Updated
•
400
yalhessi/lemexp-task1-v3-lemma_object_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
•
242
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
•
207
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
•
228
yalhessi/lemexp-task1-v3-lemma_object_full_notypes-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
•
261
yalhessi/lemexp-task1-v3-lemma_object_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
•
210
yalhessi/lemexp-task1-v3-template_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
•
217
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
•
259
yalhessi/lemexp-task1-v3-template_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated
•
237
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated
•
332
datasets
30
yalhessi/lemexp-predictions
Updated
•
783
yalhessi/lemexp-task1-v3
Viewer
•
Updated
•
3.25M
•
390
yalhessi/lemexp-raw-v3
Viewer
•
Updated
•
542k
•
49
yalhessi/lemexp-task1-v2
Viewer
•
Updated
•
5.1M
•
257
yalhessi/lemexp-raw-v2
Viewer
•
Updated
•
1.35M
•
35
yalhessi/lemexp-task1-v2-eval-results
Viewer
•
Updated
•
519k
•
16
yalhessi/lemexp-task4-v2
Viewer
•
Updated
•
188k
•
3
yalhessi/lemexp-task3-v2
Viewer
•
Updated
•
126k
•
3
yalhessi/rediscovery-v2-results
Viewer
•
Updated
•
4.74k
•
3
yalhessi/rediscovery-results
Viewer
•
Updated
•
26.7k
•
1