Sutoop Potus

sutop's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked 3 models over 1 year ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30, 2025 • 727 • 832

TIGER-Lab/general-verifier

Question Answering • 2B • Updated Apr 15, 2025 • 18.6k • 21

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 635 • • 20