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 19 hours ago
Pradheep1647/lean-verifier-formalizations published a dataset 1 day ago
Pradheep1647/lean-verifier-formalizations updated a dataset 7 days ago
Pradheep1647/eagle3-speculative-decoding-energy-sweepOrganizations
None yet