Pradheep

Pradheep1647

18

·

https://www.pradheep.dev

AI & ML interests

None yet

Recent Activity

liked a dataset 2 days ago

Pradheep1647/lean-verifier-formalizations

updated a dataset 4 days ago

Pradheep1647/lean-verifier-formalizations

liked a Space 5 days ago

nanotron/ultrascale-playbook

View all activity

Organizations

None yet

Pradheep1647 's datasets 13

Pradheep1647/lean-verifier-formalizations

Viewer • Updated 4 days ago • 69 • 300 • 1

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated 20 days ago • 240 • 80 • 1

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated 27 days ago • 19.4k • 65

Pradheep1647/lean-language-docs-sft

Preview • Updated 28 days ago • 83

Pradheep1647/kibitzer-self-play-ei-s512-g200

Preview • Updated Jul 12 • 9

Pradheep1647/kibitzer-pgn-eval-archive

Updated Jul 11 • 7

Pradheep1647/kibitzer-chessbot-dense-12m

Viewer • Updated Jun 20 • 1 • 41

Pradheep1647/kibitzer-distill-100k

Updated Jun 19 • 4

Pradheep1647/tweet-style-opd-prompts

Viewer • Updated Jun 9 • 1.5k • 9

Pradheep1647/tweet-style-dataset

Viewer • Updated May 30 • 1.14k • 5

Pradheep1647/trimr-compression-v3

Viewer • Updated May 6 • 30.1k • 1

Pradheep1647/trimr-compression-v2

Viewer • Updated Apr 23 • 30.1k • 5

Pradheep1647/openeval_bs

Viewer • Updated Feb 27 • 164 • 6