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
Pradheep
Pradheep1647
16
Follow
tuanvuneo's profile picture
HARISH20205's profile picture
2 followers
·
7 following
https://www.pradheep.dev
pradheepraop
Mantissagithub
AI & ML interests
None yet
Recent Activity
updated
a dataset
2 days ago
Pradheep1647/lean-verifier-formalizations
published
a dataset
3 days ago
Pradheep1647/lean-verifier-formalizations
updated
a dataset
8 days ago
Pradheep1647/eagle3-speculative-decoding-energy-sweep
View all activity
Organizations
None yet
Pradheep1647
's models
99
Sort: Recently updated
Pradheep1647/kibitzer-sft-elo-1079-step-004000
Updated
May 14
•
1
Pradheep1647/kibitzer-sft-elo-0808-step-002000
Updated
May 14
Pradheep1647/trimr-grpo
Updated
May 3
Pradheep1647/trimr-sft-warmup
Updated
Apr 26
Pradheep1647/qwen3_8b_gsm8k_unloth_trl
Text Generation
•
Updated
Mar 13
•
2
Pradheep1647/adrl-codestral-4bit
23B
•
Updated
Feb 27
•
1
Pradheep1647/adrl-qwen2.5-coder-4bit
15B
•
Updated
Feb 27
•
3
Pradheep1647/alt-2
Text Generation
•
Updated
Nov 6, 2025
Pradheep1647/alphazero-student-final
Text Generation
•
Updated
Nov 3, 2025
Previous
1
2
3
4
Next