Pradheep

Pradheep1647

16

·

https://www.pradheep.dev

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day 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 datasets 13

Pradheep1647/lean-verifier-formalizations

Viewer • Updated 1 day ago • 50 • 66

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated 8 days ago • 240 • 59

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated 16 days ago • 19.4k • 53

Pradheep1647/lean-language-docs-sft

Preview • Updated 17 days ago • 71

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

Preview • Updated Jul 12 • 14

Pradheep1647/kibitzer-pgn-eval-archive

Updated Jul 11 • 12

Pradheep1647/kibitzer-chessbot-dense-12m

Viewer • Updated Jun 20 • 1 • 25

Pradheep1647/kibitzer-distill-100k

Updated Jun 19 • 11

Pradheep1647/tweet-style-opd-prompts

Viewer • Updated Jun 9 • 1.5k • 11

Pradheep1647/tweet-style-dataset

Viewer • Updated May 30 • 1.14k • 5

Pradheep1647/trimr-compression-v3

Viewer • Updated May 6 • 30.1k • 8

Pradheep1647/trimr-compression-v2

Viewer • Updated Apr 23 • 30.1k • 7

Pradheep1647/openeval_bs

Viewer • Updated Feb 27 • 164 • 9