Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Sam Pollard's picture

Sam Pollard

HyperCactus0
3

AI & ML interests

None yet

Recent Activity

updated a dataset about 18 hours ago
HyperCactus0/LeanTransitionCorpus
published a dataset 7 days ago
HyperCactus0/LeanTransitionCorpus
liked a model 3 months ago
datalab-to/surya-ocr-2
View all activity

Organizations

None yet

Collections 2

Interesting
  • ResembleAI/chatterbox

    Text-to-Speech • Updated Jun 10 • 1.84M • • 1.79k
  • PAug/ProofNetSharp

    Viewer • Updated Mar 24, 2025 • 371 • 237 • 9
  • QuantFactory/internlm2-step-prover-GGUF

    Text Generation • 8B • Updated Jul 30, 2024 • 530 • 1
ai-math
  • AI-MO/NuminaMath-CoT

    Viewer • Updated Nov 25, 2024 • 860k • 176k • 600
Interesting
  • ResembleAI/chatterbox

    Text-to-Speech • Updated Jun 10 • 1.84M • • 1.79k
  • PAug/ProofNetSharp

    Viewer • Updated Mar 24, 2025 • 371 • 237 • 9
  • QuantFactory/internlm2-step-prover-GGUF

    Text Generation • 8B • Updated Jul 30, 2024 • 530 • 1
ai-math
  • AI-MO/NuminaMath-CoT

    Viewer • Updated Nov 25, 2024 • 860k • 176k • 600

models 0

None public yet

datasets 3

HyperCactus0/LeanTransitionCorpus

Preview • Updated about 14 hours ago • 3.62k • 1

HyperCactus0/mirad_english_sentence_pairs

Viewer • Updated May 26 • 997 • 8

HyperCactus0/example_dataset

Updated Aug 10, 2025 • 9
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs