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
/
security-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
security-ir-autoencoder
/
releases
6.45 MB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
endomorphosis
Add experimental inherited-384 unary NumPy selection checkpoint and authored holdout evidence
38666f4
verified
17 days ago
20261001-security-styles-v4-diagnostic
Publish opt-in structured IR development checkpoint profiles
27 days ago
20261001-structured-native-v3-experimental
Publish opt-in structured IR development checkpoint profiles
27 days ago
20261002-384-development-v1
Publish security_ir 384D development checkpoint 20261002-384-development-v1
27 days ago
20261004-autoformalization-lanes-v1
Publish retained autoformalization lane research snapshots
24 days ago
20261011-numpy-unary-selection-384-development-v1
Add experimental inherited-384 unary NumPy selection checkpoint and authored holdout evidence
17 days ago
