sjelassi/sgs-guide3k-prover-it100
7B • Updated • 75
Samy Jelassi
sjelassi
AI & ML interests
None yet
Recent Activity
updated a model 7 days ago
sjelassi/sgs-guide3k-prover-it100 published a model 7 days ago
sjelassi/sgs-guide3k-prover-it100 updated a model 7 days ago
sjelassi/sgs-guide3k-conjecturer-it100Organizations
sjelassi/sgs-guide3k-conjecturer-it100
7B • Updated • 121
sjelassi/sgs-noguide3k-conjecturer-it50
7B • Updated • 14
sjelassi/sgs-noguide3k-prover-it50
7B • Updated • 13
sjelassi/sgs-guide3k-conjecturer-it50
7B • Updated • 15
sjelassi/sgs-guide3k-prover-it50
7B • Updated • 18
sjelassi/olmo-150m-swallowcode-9008296-step11400-hf
Updated • 2
sjelassi/llama_32_1b_xsum
Text Generation • 1B • Updated • 2
sjelassi/qwen_25_1_5b_swallow_code_unstructured
Text Generation • 2B • Updated • 14 •
sjelassi/llama_32_1b_alma
Text Generation • 1B • Updated • 9 •
sjelassi/qwen_25_1_5b_omi_code_100k_200tok
Text Generation • 2B • Updated • 12 •
sjelassi/qwen_omi2_step100
Text Generation • 2B • Updated • 10 •
sjelassi/qwen_omi2_step50
Text Generation • 2B • Updated • 7
sjelassi/llama_opencode_step1000
Text Generation • 1B • Updated • 4
sjelassi/llama_opencode_step500
Text Generation • 1B • Updated • 10
sjelassi/llama_opencode_step300
Text Generation • 1B • Updated • 5
sjelassi/llama_opencode_step100
Text Generation • 1B • Updated • 5