No application file
Agents
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated a dataset 4 days ago
yalhessi/lemexp-commercial-llm-experiment-anon-results updated a dataset 4 days ago
yalhessi/lemexp-commercial-llm-experiment-anon-octonions-results updated a dataset 4 days ago
yalhessi/lemexp-predictionsOrganizations
None yet
models 167
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
Updated • 19
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
Updated • 165
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Updated • 16
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-6.7b-base
Updated • 15
yalhessi/lemexp-task1-v3-lemma_object_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated • 22
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated • 23
yalhessi/lemexp-task1-v3-template_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated • 116
yalhessi/lemexp-task1-v3-template_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos
Updated • 86
yalhessi/lemexp-task1-v3-lemma_object_full_notypes-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated • 2
yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos
Updated • 51
datasets 41
yalhessi/lemexp-commercial-llm-experiment-anon-results
Viewer • Updated • 556 • 55
yalhessi/lemexp-predictions
Updated • 399
yalhessi/lemexp-commercial-llm-experiment-anon-octonions-results
Viewer • Updated • 700 • 43
yalhessi/lemexp-commercial-llm-experiment-anon
Viewer • Updated • 1.88k • 58
yalhessi/lemexp-task1-v3-eval-result-updated
Updated • 622
yalhessi/lemexp-commercial-llm-experiment-results
Viewer • Updated • 3.89k • 147 • 1
yalhessi/lemexp-commercial-llm-experiment
Viewer • Updated • 3.56k • 211
yalhessi/lemexp-task1-v3-eval-tables
Viewer • Updated • 4 • 69
yalhessi/lemexp-task1-v3-eval-results
Viewer • Updated • 1.35M • 232
yalhessi/lemexp-task1-v3
Viewer • Updated • 3.3M • 133