🤔 ..

Pradheep

Pradheep1647

25

·

https://www.pradheep.dev

AI & ML interests

None yet

Recent Activity

updated a dataset about 8 hours ago

Pradheep1647/lean-verifier-formalizations

published a dataset 3 days ago

Pradheep1647/tiny-prl-experiment-archive

updated a dataset 4 days ago

Pradheep1647/tiny-prl-experiment-archive

View all activity

Organizations

None yet

Pradheep1647 's datasets 15

Pradheep1647/lean-verifier-formalizations

Viewer • Updated about 7 hours ago • 84 • 519 • 1

Pradheep1647/tiny-prl-experiment-archive

Preview • Updated 4 days ago • 16

Pradheep1647/strictly-speaking

Viewer • Updated Sep 22 • 69 • 11

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated Aug 23 • 240 • 122 • 14

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated Aug 15 • 19.4k • 38

Pradheep1647/lean-language-docs-sft

Preview • Updated Aug 14 • 27

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

Preview • Updated Jul 12 • 11

Pradheep1647/kibitzer-pgn-eval-archive

Updated Jul 11 • 40

Pradheep1647/kibitzer-chessbot-dense-12m

Viewer • Updated Jun 20 • 1 • 87

Pradheep1647/kibitzer-distill-100k

Updated Jun 19 • 14

Pradheep1647/tweet-style-opd-prompts

Viewer • Updated Jun 9 • 1.5k • 15

Pradheep1647/tweet-style-dataset

Viewer • Updated May 30 • 1.14k • 21

Pradheep1647/trimr-compression-v3

Viewer • Updated May 6 • 30.1k • 6

Pradheep1647/trimr-compression-v2

Viewer • Updated Apr 23 • 30.1k • 9

Pradheep1647/openeval_bs

Viewer • Updated Feb 27 • 164 • 10