Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
6
18
Slim Barkallah
Slim205
Follow
eliasalbouzidi's profile picture
Nicolas-BZRD's profile picture
karimouda's profile picture
4 followers
·
1 following
Slim205
slim-barkallah-35599424a
AI & ML interests
Large Language Models, Natural Language Processing
Recent Activity
upvoted
an
article
about 1 month ago
OpenEvolve: An Open Source Implementation of Google DeepMind's AlphaEvolve
updated
a model
3 months ago
Slim205/Lean_prover_v1
updated
a model
3 months ago
Slim205/Lean-conjecturer
View all activity
Organizations
None yet
Slim205
's models
4
Sort: Recently updated
Slim205/Lean_prover_v1
7B
•
Updated
Sep 1
•
6
Slim205/Lean-conjecturer
7B
•
Updated
Sep 1
•
4
Slim205/Barka-2b-it
Updated
Oct 25, 2024
•
42
•
1
Slim205/Barka-9b-it-v02
Updated
Oct 21, 2024
•
24