Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Naga Rohan Kumar Bayya's picture

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
View all activity

Organizations

None yet

rkumar1999 's datasets 9

rkumar1999/mot-deepseek-merged

Viewer • Updated Oct 19 • 65.8k • 12

rkumar1999/Mixture-of-Thoughts-math-cleaned

Viewer • Updated Oct 16 • 34.7k • 25

rkumar1999/DeepSeek-Prover-V2-chat-cleaned

Viewer • Updated Oct 16 • 31.1k • 14

rkumar1999/mixed-aqua30k-deepseek-prover-v2-chat

Preview • Updated Oct 14 • 4

rkumar1999/OBT-proof-short-60-n10000

Viewer • Updated Oct 6 • 10k • 14

rkumar1999/DeepSeek-Prover-V2-chat

Viewer • Updated Sep 30 • 60k • 14

rkumar1999/logic_prover_mix

Viewer • Updated Sep 18 • 55k • 15

rkumar1999/numina-deepseek-r1-qwen-7b-1000

Viewer • Updated Feb 23 • 3k • 28

rkumar1999/numina-deepseek-r1-qwen-7b

Viewer • Updated Feb 9 • 400 • 29
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs