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
lzumot's picture
2 15

lzumot

lzumot
Fishtiks's profile picture kurianbenoy's profile picture AndroidAttack's profile picture
ยท

AI & ML interests

None yet

Organizations

Scratch to Scale's profile picture

lzumot 's Spaces 2

Sleeping
1

Lean Prover Validator

๐Ÿ“ˆ

generate a proof then test it with lean4

Jan 27
Sleeping
Agents

Deployment No Fastai

๐Ÿฆ€

Identify cat and dog breeds from images

Mar 3, 2023
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs