Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Samy Jelassi
sjelassi
1
4
Follow
delip's profile picture
Cohaerence's profile picture
ClaraBing's profile picture
9 followers
·
6 following
AI & ML interests
None yet
Recent Activity
updated
a model
9 days ago
sjelassi/sgs-guide3k-prover-it100
published
a model
9 days ago
sjelassi/sgs-guide3k-prover-it100
updated
a model
9 days ago
sjelassi/sgs-guide3k-conjecturer-it100
View all activity
Organizations
sjelassi
's models
17
Sort: Recently updated
sjelassi/sgs-guide3k-prover-it100
7B
•
Updated
9 days ago
•
76
sjelassi/sgs-guide3k-conjecturer-it100
7B
•
Updated
9 days ago
•
274
sjelassi/sgs-noguide3k-conjecturer-it50
7B
•
Updated
10 days ago
•
14
sjelassi/sgs-noguide3k-prover-it50
7B
•
Updated
10 days ago
•
13
sjelassi/sgs-guide3k-conjecturer-it50
7B
•
Updated
10 days ago
•
15
sjelassi/sgs-guide3k-prover-it50
7B
•
Updated
10 days ago
•
18
sjelassi/olmo-150m-swallowcode-9008296-step11400-hf
Updated
Apr 28
•
2
sjelassi/llama_32_1b_xsum
Text Generation
•
1B
•
Updated
Jan 25
•
3
sjelassi/qwen_25_1_5b_swallow_code_unstructured
Text Generation
•
2B
•
Updated
Jan 20
•
14
•
sjelassi/llama_32_1b_alma
Text Generation
•
1B
•
Updated
Jan 20
•
9
•
sjelassi/qwen_25_1_5b_omi_code_100k_200tok
Text Generation
•
2B
•
Updated
Jan 20
•
12
•
sjelassi/qwen_omi2_step100
Text Generation
•
2B
•
Updated
Dec 29, 2025
•
10
•
sjelassi/qwen_omi2_step50
Text Generation
•
2B
•
Updated
Dec 29, 2025
•
7
sjelassi/llama_opencode_step1000
Text Generation
•
1B
•
Updated
Dec 3, 2025
•
5
sjelassi/llama_opencode_step500
Text Generation
•
1B
•
Updated
Dec 3, 2025
•
10
sjelassi/llama_opencode_step300
Text Generation
•
1B
•
Updated
Dec 3, 2025
•
5
sjelassi/llama_opencode_step100
Text Generation
•
1B
•
Updated
Dec 3, 2025
•
5