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 8 hours ago
Pradheep1647/lean-verifier-formalizations published a dataset 2 days ago
Pradheep1647/tiny-prl-experiment-archive updated a dataset 4 days ago
Pradheep1647/tiny-prl-experiment-archiveOrganizations
None yet
models 105
Pradheep1647/grpo-think-len-concave
Updated • 45
Pradheep1647/grpo-think-len-capped-linear
Updated • 42
Pradheep1647/grpo-think-len-baseline
Updated • 40
Pradheep1647/jevlike-qwen3.5-2b-option-scorer-cached
Text Classification • Updated
Pradheep1647/jevlike-qwen3.5-2b-option-scorer-independent
Text Classification • Updated
Pradheep1647/jevlike-qwen3.5-2b-lora
Text Generation • Updated • 18
Pradheep1647/eagle3-speculative-decoding-policy
Reinforcement Learning • Updated
Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining
Text Generation • Updated • 7
Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft
Text Generation • Updated • 8
Pradheep1647/q0-gsm8k-1_5b-mopd
Text Generation • 2B • Updated • 7
datasets 15
Pradheep1647/lean-verifier-formalizations
Viewer • Updated • 84 • 519 • 1
Pradheep1647/tiny-prl-experiment-archive
Preview • Updated • 16
Pradheep1647/strictly-speaking
Viewer • Updated • 69 • 11
Pradheep1647/eagle3-speculative-decoding-energy-sweep
Viewer • Updated • 240 • 122 • 14
Pradheep1647/lean-repository-midtraining-v1
Viewer • Updated • 19.4k • 38
Pradheep1647/lean-language-docs-sft
Preview • Updated • 27
Pradheep1647/kibitzer-self-play-ei-s512-g200
Preview • Updated • 11
Pradheep1647/kibitzer-pgn-eval-archive
Updated • 40
Pradheep1647/kibitzer-chessbot-dense-12m
Viewer • Updated • 1 • 87
Pradheep1647/kibitzer-distill-100k
Updated • 14