arxiv:2402.01032
Samy Jelassi
sjelassi
AI & ML interests
None yet
Recent Activity
updated a model about 23 hours ago
sjelassi/sgs-guide3k-prover-it100 published a model about 23 hours ago
sjelassi/sgs-guide3k-prover-it100 updated a model about 23 hours ago
sjelassi/sgs-guide3k-conjecturer-it100Organizations
models 17
sjelassi/sgs-guide3k-prover-it100
7B • Updated • 17
sjelassi/sgs-guide3k-conjecturer-it100
7B • Updated • 15
sjelassi/sgs-noguide3k-conjecturer-it50
7B • Updated • 11
sjelassi/sgs-noguide3k-prover-it50
7B • Updated • 11
sjelassi/sgs-guide3k-conjecturer-it50
7B • Updated • 14
sjelassi/sgs-guide3k-prover-it50
7B • Updated • 17
sjelassi/olmo-150m-swallowcode-9008296-step11400-hf
Updated
sjelassi/llama_32_1b_xsum
Text Generation • 1B • Updated • 2
sjelassi/qwen_25_1_5b_swallow_code_unstructured
Text Generation • 2B • Updated • 22 •
sjelassi/llama_32_1b_alma
Text Generation • 1B • Updated • 19 •
datasets 91
sjelassi/opencode-instruct_20k_256tok
Viewer • Updated • 20k • 7
sjelassi/opencode-instruct_10k_256tok
Viewer • Updated • 10k • 6
sjelassi/opencode-instruct_30k_256tok
Viewer • Updated • 30k • 61
sjelassi/dailydialog
Viewer • Updated • 76.7k • 23
sjelassi/soda
Viewer • Updated • 101k • 11
sjelassi/cnn_dailymail_100k
Viewer • Updated • 31.2k • 7
sjelassi/swallow_code_20m
Viewer • Updated • 37.7k • 16
sjelassi/swallow_code_100m
Viewer • Updated • 185k • 8
sjelassi/swallow_code_200m
Viewer • Updated • 297k • 36
sjelassi/multi_news
Viewer • Updated • 5.62k • 9