Pradheep

Pradheep1647's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 2 days ago

Pradheep1647/lean-verifier-formalizations

Viewer • Updated 1 day ago • 50 • 66

published a dataset 3 days ago

Pradheep1647/lean-verifier-formalizations

Viewer • Updated 1 day ago • 50 • 66

updated a dataset 8 days ago

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated 8 days ago • 240 • 59

updated a model 15 days ago

Pradheep1647/eagle3-speculative-decoding-policy

Reinforcement Learning • Updated 15 days ago

published a model 15 days ago

Pradheep1647/eagle3-speculative-decoding-policy

Reinforcement Learning • Updated 15 days ago

published a dataset 15 days ago

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated 8 days ago • 240 • 59

updated a model 16 days ago

Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining

Text Generation • Updated 16 days ago • 9

published a model 16 days ago

Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining

Text Generation • Updated 16 days ago • 9

updated a dataset 16 days ago

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated 16 days ago • 19.4k • 53

published a dataset 16 days ago

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated 16 days ago • 19.4k • 53

updated a model 17 days ago

Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft

Text Generation • Updated 17 days ago • 15

published a model 17 days ago

Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft

Text Generation • Updated 17 days ago • 15

updated a dataset 17 days ago

Pradheep1647/lean-language-docs-sft

Preview • Updated 17 days ago • 71

published a dataset 17 days ago

Pradheep1647/lean-language-docs-sft

Preview • Updated 17 days ago • 71

liked a model 18 days ago

Qwen/Qwen3.8-27B

Image-Text-to-Text • 28B • Updated 17 days ago • 4.72M • • 13.5k

updated a model 19 days ago

Pradheep1647/q0-gsm8k-1_5b-mopd

Text Generation • 2B • Updated 19 days ago • 271

published a model 19 days ago

Pradheep1647/q0-gsm8k-1_5b-mopd

Text Generation • 2B • Updated 19 days ago • 271

updated a model 19 days ago

Pradheep1647/q0-gsm8k-1_5b-mixture-top2

Updated 19 days ago

published a model 19 days ago

Pradheep1647/q0-gsm8k-1_5b-mixture-top2

Updated 19 days ago

updated a model 20 days ago

Pradheep1647/q0-gsm8k-1_5b-grpo

Text Generation • 2B • Updated 20 days ago • 179