Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
5
3
Almaz Dautov
the-hir0
Follow
alexfida's profile picture
rusrakhimov's profile picture
kenkaneki's profile picture
5 followers
·
3 following
AI & ML interests
None yet
Organizations
Papers
1
arxiv:
2512.10430
models
4
Sort: Recently updated
the-hir0/ILM-lean-prover
8B
•
Updated
Jun 13, 2025
•
1
the-hir0/google-t5-small-spellchecker
60.5M
•
Updated
Mar 20, 2024
•
12
the-hir0/pegasus-detoxify
Updated
Nov 5, 2023
the-hir0/t5-small-detoxify
Updated
Nov 5, 2023
datasets
0
None public yet