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
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Elliott Slaughter's picture

Elliott Slaughter

ellietheorem
·
  • erslaugh

AI & ML interests

None yet

Recent Activity

updated a model about 7 hours ago
ellietheorem/qwen3-8b-lf-sft
published a model about 8 hours ago
ellietheorem/qwen3-8b-lf-sft
updated a model 1 day ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v5
View all activity

Organizations

Theorem Labs, PBC's profile picture

ellietheorem 's models 5

ellietheorem/qwen3-8b-lf-sft

Text Generation • 8B • Updated about 7 hours ago

ellietheorem/goedel-prover-v2-8b-lf-sft-v5

Text Generation • 8B • Updated 1 day ago

ellietheorem/goedel-prover-v2-8b-lf-sft-v4

Text Generation • 8B • Updated 3 days ago • 25

ellietheorem/goedel-prover-v2-8b-lf-sft-v2

Text Generation • 8B • Updated 3 days ago • 49

ellietheorem/goedel-prover-v2-8b-lf-sft

Text Generation • 8B • Updated 3 days ago • 30
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs