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

Publicus
/
intent-ir-autoencoder

autoencoder
formal-logic
experimental
ipfs-datasets-py
Model card Files Files and versions
xet
Community
intent-ir-autoencoder / training /structured384
16.8 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 10 commits
endomorphosis's picture
endomorphosis
Archive explicit native interpretation checks and protocol counterexample
672a84c verified 6 days ago
  • fd9d9b655650583be0d76972ac3b9c67905628294ba2df38ef59fb6d1c8b1fc5
    Archive explicit native interpretation checks and protocol counterexample 6 days ago