No application file
Agents
Equivalentconjecturemetric
💻
Yousef Alhessi
yalhessi
AI & ML interests
None yet
Recent Activity
updated a dataset 3 days ago
yalhessi/lemexp-commercial-llm-experiment-results updated a model 21 days ago
yalhessi/lemexp-task1-template-small-r16-18ep-8bit published a model 21 days ago
yalhessi/lemexp-task1-template-small-r16-18ep-8bitOrganizations
None yet
models 172
yalhessi/lemexp-task1-template-small-r16-18ep-8bit
Updated • 17
yalhessi/lemexp-task5-prefix-clean-r16-18ep-8bit
Updated • 17
yalhessi/lemexp-task5-template_deriv_full-deepseek-coder-1.3b-base-r16-alllinear-18ep-8bit
Updated • 23
yalhessi/lemexp-task5-template_prefix_full-deepseek-coder-1.3b-base-4gpu-bs4-8lr-12epochs-normal-eos-8bit
Updated • 19
yalhessi/lemexp-task5-template_deriv_full-deepseek-coder-1.3b-base-4gpu-bs4-8lr-12epochs-normal-eos-8bit
Updated • 22
yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base
Updated • 26
yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base
Updated • 9
yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base
Updated • 15
yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-6.7b-base
Updated • 13
yalhessi/lemexp-task1-v3-lemma_object_full-Llama-3.2-1B-8lr-12epochs-no-eos
Updated • 1
datasets 41
yalhessi/lemexp-commercial-llm-experiment-results
Viewer • Updated • 5.85k • 1.1k • 1
yalhessi/lemexp-commercial-llm-experiment-anon-results
Viewer • Updated • 556 • 9
yalhessi/lemexp-predictions
Updated • 725
yalhessi/lemexp-commercial-llm-experiment-anon-octonions-results
Viewer • Updated • 700 • 7
yalhessi/lemexp-commercial-llm-experiment-anon
Viewer • Updated • 1.88k • 9
yalhessi/lemexp-task1-v3-eval-result-updated
Viewer • Updated • 1.35M • 555
yalhessi/lemexp-commercial-llm-experiment
Viewer • Updated • 3.56k • 172
yalhessi/lemexp-task1-v3-eval-tables
Viewer • Updated • 4 • 10
yalhessi/lemexp-task1-v3-eval-results
Viewer • Updated • 1.35M • 2.65k
yalhessi/lemexp-task1-v3
Viewer • Updated • 3.3M • 985