Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • 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

Publicus
/
ui-ux-ir-autoencoder

autoencoder
formal-logic
experimental
ipfs-datasets-py
Model card Files Files and versions
xet
Community
ui-ux-ir-autoencoder / training /structured384
6.85 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 8 commits
endomorphosis's picture
endomorphosis
Archive explicit native interpretation checks and protocol counterexample
5f2b084 verified 27 days ago
  • 20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157
    Archive explicit native interpretation checks and protocol counterexample 27 days ago