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
/
intent-ir-autoencoder
Like
0
Follow
Publicus
4
autoencoder
formal-logic
experimental
ipfs-datasets-py
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
intent-ir-autoencoder
/
releases
2.73 MB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
endomorphosis
Publish retained autoformalization lane research snapshots
8c9ed7e
verified
29 days ago
20261001-structured-native-v3-experimental
Publish opt-in structured IR development checkpoint profiles
about 1 month ago
20261002-384-development-v1
Publish intent_ir 384D development checkpoint 20261002-384-development-v1
about 1 month ago
20261004-autoformalization-lanes-v1
Publish retained autoformalization lane research snapshots
29 days ago