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
4
·
  • HyperCactus

AI & ML interests

Research and education

Recent Activity

updated a dataset 11 days ago
HyperCactus0/LeanTransitionCorpus
updated a collection 25 days ago
Interesting
updated a collection 25 days ago
Interesting
View all activity

Organizations

None yet

Collections 2

Interesting
  • ResembleAI/chatterbox

    Text-to-Speech • Updated Jun 10 • 1.64M • • 1.83k
  • PAug/ProofNetSharp

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

    Text Generation • 8B • Updated Jul 30, 2024 • 1.05k • 1
  • openbmb/MA-ProofBench

    Viewer • Updated Aug 27 • 200 • 494 • 16
ai-math
  • AI-MO/NuminaMath-CoT

    Viewer • Updated Nov 25, 2024 • 860k • 292k • 605
Interesting
  • ResembleAI/chatterbox

    Text-to-Speech • Updated Jun 10 • 1.64M • • 1.83k
  • PAug/ProofNetSharp

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

    Text Generation • 8B • Updated Jul 30, 2024 • 1.05k • 1
  • openbmb/MA-ProofBench

    Viewer • Updated Aug 27 • 200 • 494 • 16
ai-math
  • AI-MO/NuminaMath-CoT

    Viewer • Updated Nov 25, 2024 • 860k • 292k • 605

models 0

None public yet

datasets 3

HyperCactus0/LeanTransitionCorpus

Preview • Updated 10 days ago • 6.08k • 1

HyperCactus0/mirad_english_sentence_pairs

Viewer • Updated May 26 • 997 • 7

HyperCactus0/example_dataset

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