rkumar1999/Llama3.2-3B-Prover-Math-openr1-distill-SFT
Text Generation
•
175k
•
Updated
•
5
Naga Rohan Kumar Bayya
rkumar1999
AI & ML interests
LLMs
Recent Activity
updated
a model
about 2 months ago
rkumar1999/Llama3.2-3B-Prover-Math-openr1-distill-SFT
updated
a model
about 2 months ago
rkumar1999/Phi-mini-MoE-Prover-Math-openr1-distill-SFT
published
a model
about 2 months ago
rkumar1999/Llama3.2-3B-Prover-Math-openr1-distill-SFT
Organizations
None yet
models
25
rkumar1999/Phi-mini-MoE-Prover-Math-openr1-distill-SFT
Text Generation
•
2.99M
•
Updated
•
6
rkumar1999/Phi-mini-MoE-Mix-Prover-openr1-distill-SFT
Text Generation
•
2.99M
•
Updated
•
6
rkumar1999/Phi-mini-MoE-Prover-openr1-distill-SFT
Text Generation
•
2.99M
•
Updated
•
11
rkumar1999/phi-tiny-moe-lean-sft
Text Generation
•
4B
•
Updated
•
6
rkumar1999/phi-tiny-moe-math-lean-sft
Text Generation
•
4B
•
Updated
•
8
rkumar1999/Qwen1.5-MoE-A2.7B-mixed-openr1-distill-SFT
Text Generation
•
Updated
•
16
rkumar1999/Llama3.2-3B-Prover-openr1-distill-GRPO
Text Generation
•
Updated
•
6
rkumar1999/Llama3.2-3B-Prover-openr1-distill-SFT
Text Generation
•
175k
•
Updated
•
37
rkumar1999/Llama3.2-3B-Prover-openr1-SFT
Text Generation
•
3B
•
Updated
•
6
datasets
9
rkumar1999/mot-deepseek-merged
Viewer
•
Updated
•
65.8k
•
19
rkumar1999/Mixture-of-Thoughts-math-cleaned
Viewer
•
Updated
•
34.7k
•
21
rkumar1999/DeepSeek-Prover-V2-chat-cleaned
Viewer
•
Updated
•
31.1k
•
22
rkumar1999/mixed-aqua30k-deepseek-prover-v2-chat
Preview
•
Updated
•
11
rkumar1999/OBT-proof-short-60-n10000
Viewer
•
Updated
•
10k
•
42
rkumar1999/DeepSeek-Prover-V2-chat
Viewer
•
Updated
•
60k
•
19
rkumar1999/logic_prover_mix
Viewer
•
Updated
•
55k
•
26
rkumar1999/numina-deepseek-r1-qwen-7b-1000
Viewer
•
Updated
•
3k
•
22
rkumar1999/numina-deepseek-r1-qwen-7b
Viewer
•
Updated
•
400
•
24