Pradheep

Pradheep1647

22

·

https://www.pradheep.dev

AI & ML interests

None yet

Recent Activity

liked a model 1 day ago

vixhal-baraiya/Gero-4B

published a model 1 day ago

Pradheep1647/jevlike-qwen3.5-2b-option-scorer-cached

published a model 1 day ago

Pradheep1647/jevlike-qwen3.5-2b-option-scorer-independent

View all activity

Organizations

None yet

Pradheep1647 's datasets 14

Pradheep1647/lean-verifier-formalizations

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

Pradheep1647/strictly-speaking

Viewer • Updated 13 days ago • 69 • 48

Pradheep1647/eagle3-speculative-decoding-energy-sweep

Viewer • Updated Aug 23 • 240 • 114 • 7

Pradheep1647/lean-repository-midtraining-v1

Viewer • Updated Aug 15 • 19.4k • 56

Pradheep1647/lean-language-docs-sft

Preview • Updated Aug 14 • 45

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

Preview • Updated Jul 12 • 7

Pradheep1647/kibitzer-pgn-eval-archive

Updated Jul 11 • 51

Pradheep1647/kibitzer-chessbot-dense-12m

Viewer • Updated Jun 20 • 1 • 103

Pradheep1647/kibitzer-distill-100k

Updated Jun 19 • 6

Pradheep1647/tweet-style-opd-prompts

Viewer • Updated Jun 9 • 1.5k • 8

Pradheep1647/tweet-style-dataset

Viewer • Updated May 30 • 1.14k • 14

Pradheep1647/trimr-compression-v3

Viewer • Updated May 6 • 30.1k • 10

Pradheep1647/trimr-compression-v2

Viewer • Updated Apr 23 • 30.1k • 7

Pradheep1647/openeval_bs

Viewer • Updated Feb 27 • 164 • 7