Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Naga Rohan Kumar Bayya
rkumar1999
Follow
AI & ML interests
LLMs
Recent Activity
updated
a model
16 days ago
rkumar1999/Llama3.2-3B-Prover-Math-openr1-distill-SFT
updated
a model
16 days ago
rkumar1999/Phi-mini-MoE-Prover-Math-openr1-distill-SFT
published
a model
16 days ago
rkumar1999/Llama3.2-3B-Prover-Math-openr1-distill-SFT
View all activity
Organizations
None yet
rkumar1999
's datasets
9
Sort: Recently updated
rkumar1999/mot-deepseek-merged
Viewer
•
Updated
18 days ago
•
65.8k
•
23
rkumar1999/Mixture-of-Thoughts-math-cleaned
Viewer
•
Updated
21 days ago
•
34.7k
•
34
rkumar1999/DeepSeek-Prover-V2-chat-cleaned
Viewer
•
Updated
21 days ago
•
31.1k
•
37
rkumar1999/mixed-aqua30k-deepseek-prover-v2-chat
Preview
•
Updated
24 days ago
•
36
rkumar1999/OBT-proof-short-60-n10000
Viewer
•
Updated
Oct 6
•
10k
•
10
rkumar1999/DeepSeek-Prover-V2-chat
Viewer
•
Updated
Sep 30
•
60k
•
28
rkumar1999/logic_prover_mix
Viewer
•
Updated
Sep 18
•
55k
•
4
rkumar1999/numina-deepseek-r1-qwen-7b-1000
Viewer
•
Updated
Feb 23
•
3k
•
3
rkumar1999/numina-deepseek-r1-qwen-7b
Viewer
•
Updated
Feb 9
•
400
•
10