Trained Transformer model checkpoints from my experiments, including saved variants for benchmarking, analysis, and further training.
Pradheep
Pradheep1647
AI & ML interests
None yet
Recent Activity
updated a dataset about 7 hours ago
Pradheep1647/lean-verifier-formalizations published a dataset about 7 hours ago
Pradheep1647/lean-verifier-formalizations updated a dataset 6 days ago
Pradheep1647/eagle3-speculative-decoding-energy-sweepOrganizations
None yet
models 99
Pradheep1647/eagle3-speculative-decoding-policy
Reinforcement Learning • Updated
Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining
Text Generation • Updated • 9
Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft
Text Generation • Updated • 15
Pradheep1647/q0-gsm8k-1_5b-mopd
Text Generation • 2B • Updated • 247
Pradheep1647/q0-gsm8k-1_5b-mixture-top2
Updated
Pradheep1647/q0-gsm8k-1_5b-grpo
Text Generation • 2B • Updated • 177
Pradheep1647/q0-gsm8k-135m-grpo
Text Generation • 0.1B • Updated • 223
Pradheep1647/q0-gsm8k-135m-mopd
Text Generation • Updated
Pradheep1647/q0-gsm8k-135m
Updated
Pradheep1647/q0-gsm8k-135m-baseline
Updated
datasets 13
Pradheep1647/lean-verifier-formalizations
Viewer • Updated • 12
Pradheep1647/eagle3-speculative-decoding-energy-sweep
Viewer • Updated • 240 • 58
Pradheep1647/lean-repository-midtraining-v1
Viewer • Updated • 19.4k • 52
Pradheep1647/lean-language-docs-sft
Preview • Updated • 65
Pradheep1647/kibitzer-self-play-ei-s512-g200
Preview • Updated • 15
Pradheep1647/kibitzer-pgn-eval-archive
Updated • 16
Pradheep1647/kibitzer-chessbot-dense-12m
Viewer • Updated • 1 • 20
Pradheep1647/kibitzer-distill-100k
Updated • 13
Pradheep1647/tweet-style-opd-prompts
Viewer • Updated • 1.5k • 12
Pradheep1647/tweet-style-dataset
Viewer • Updated • 1.14k • 6