Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
1
7
19
Slim Barkallah
Slim205
Follow
karimouda's profile picture
eliasalbouzidi's profile picture
msgomaa5579's profile picture
5 followers
·
1 following
Slim205
slim-barkallah-35599424a
AI & ML interests
Large Language Models, Natural Language Processing
Organizations
None yet
Slim205
's models
4
Sort: Recently updated
Slim205/Lean_prover_v1
7B
•
Updated
Sep 1, 2025
•
1
Slim205/Lean-conjecturer
7B
•
Updated
Sep 1, 2025
•
5
Slim205/Barka-2b-it
Updated
Oct 25, 2024
•
2
•
1
Slim205/Barka-9b-it-v02
Updated
Oct 21, 2024
•
3
