Skip to page content
SAVRN
Search Plan a project

Open-weight model

ui-ux-ir-autoencoder

by Publicus Publicus/ui-ux-ir-autoencoder

ui-ux-ir-autoencoder is an open-weight model from Publicus. Its published files total 11.1 MB.

Held-out exact IR reconstruction: 0/2. Native structural validity: 2/2. These two authored paraphrase examples share semantic targets with training; they are not independent real-world benchmark tasks.

Parameters—
Context—
Weights11.1 MB
License—
AccessOpen weights
Monthly Downloads—

Model Card

Held-out exact IR reconstruction: 0/2. Native structural validity: 2/2. These two authored paraphrase examples share semantic targets with training; they are not independent real-world benchmark tasks. The model generates plausible but semantically incorrect candidates and must not authorize actions. This is an opt-in development artifact. It is not the default symbolic compiler, not a verified formalizer, and not a security repair policy. All qualification, admission and proof-authority flags remain false. No LLM/provider fallback runs. Input embeddings use thenlper/gte-small at commit 17e1f347d17fe144873b1201da91788898c639cd (384 dimensions). The embedding encoder weights are not…

Excerpt from the card by Publicus.

Identity and Version

Repository
Publicus/ui-ux-ir-autoencoder
Publisher
Publicus
Task
Not stated by the source
Modality
Other
Library
Not stated by the source
Parameters
Not stated by the source
Languages
Not stated by the source
Revision
625a1f968fdfcdfc75fc38e1d7eecd16b07a2cf5
First published
2026-10-01
Last updated
2026-10-04

Files and Weights

68 files, 11.1 MB in total.

Configuration56 files · 9.6 MB
Documentation7 files · 21.0 KB
Other4 files · 1.5 MB
Repository1 file · 1.5 KB
Every file
FileTypeSizeSHA-256
releases/20261001-structured-native-v3-experimental/checkpoint.jsonConfiguration383.2 KB —
releases/20261001-structured-native-v3-experimental/manifest.jsonConfiguration1.3 KB —
releases/20261001-structured-native-v3-experimental/provenance.jsonConfiguration3.4 KB —
releases/20261001-structured-native-v3-experimental/replay-inputs.jsonConfiguration32.9 KB —
releases/20261001-structured-native-v3-experimental/validation.jsonConfiguration648 B —
releases/20261002-384-development-v1/authored-corpus.jsonConfiguration142.0 KB —
releases/20261002-384-development-v1/checkpoint.jsonConfiguration589.0 KB —
releases/20261002-384-development-v1/manifest.jsonConfiguration8.1 KB —
releases/20261004-retained-checkpoints-v1/context/660143d008ff0466ce053a8c006536bd67b0004f337311fcba1e74965a7e1678/authored-corpus.jsonConfiguration142.0 KB —
releases/20261004-retained-checkpoints-v1/context/8faf96d5f3deb284cc2a0e8065c6c9c5a9e9983e097b9f205d4b93c1431f0f2e/manifest.jsonConfiguration8.1 KB —
releases/20261004-retained-checkpoints-v1/context/9a22b37193dc50e8b59d958677e7c29b5bcb9fabbcf203c69db68f0c6efb4259/validation.jsonConfiguration648 B —
releases/20261004-retained-checkpoints-v1/context/e7a810f97d24ccb54f394d8629bc18530f626be6dd2c49c1c919aaacb4b6b606/provenance.jsonConfiguration3.4 KB —
releases/20261004-retained-checkpoints-v1/context/ea3d9ea74e9e44e36f95ce88cd4753c2d5010b79ced12615f9781adbf8d71800/manifest.jsonConfiguration1.3 KB —
releases/20261004-retained-checkpoints-v1/context/f34f0cb26aaf3bbfccd9a2413e6cbef260e18d4333d3c7a895f1015b15d83e04/replay-inputs.jsonConfiguration32.9 KB —
releases/20261004-retained-checkpoints-v1/lane-manifest.jsonConfiguration37.6 KB —
releases/20261004-retained-checkpoints-v1/source/0b1eae24b00157ae74a2700f23ca95c7f9957dc755078caaf179e64070fdeffd/ipfs_datasets_py/optimizers/logic_theorem_optimizer/legal_ir_grammar_decoder.pyConfiguration146.9 KB —
releases/20261004-retained-checkpoints-v1/source/3f9ca9ce7b4cf2a2d10d6aeb1fae78543c468133d2fa0df9fcb32f63f89e90f7/ipfs_datasets_py/logic/formalization/autoencoder/structured_source_384.pyConfiguration27.3 KB —
releases/20261004-retained-checkpoints-v1/source/587165942fb06ea9effc836b555e0ac0606c5876b013a374a1e76d25ee069e4d/ipfs_datasets_py/logic/autoformal/tree_pin.pyConfiguration1.9 KB —
releases/20261004-retained-checkpoints-v1/source/66c5ee320f9c7aacd3b246d0666c7fc3ee928e4679892e1e90c838e1b291dbc6/ipfs_datasets_py/optimizers/logic_theorem_optimizer/domain_384_autoencoder.pyConfiguration34.7 KB —
releases/20261004-retained-checkpoints-v1/source/6c40ac99d7e339651b6029764f94b12430ca515d4c5f7426770b013499efe92b/ipfs_datasets_py/logic/intent_ir/formalize/rich_grammar.pyConfiguration11.5 KB —
releases/20261004-retained-checkpoints-v1/source/7bab5781c07e00b54b0283d3a2962926f75935caedc80eceb23264cb388be257/ipfs_datasets_py/logic/intent_ir/decoder.pyConfiguration24.2 KB —
releases/20261004-retained-checkpoints-v1/source/8a7b0cc90151043514d263b1a2655d6d41a2835dacd6b56018ba5c0c89961855/ipfs_datasets_py/logic/ui_ux_ir/schema.pyConfiguration120.7 KB —
releases/20261004-retained-checkpoints-v1/source/8de8096e895de9df08ccf5352dfd704806823296821d98b5badf08bb553a52e4/ipfs_datasets_py/logic/formalization/autoencoder/source_training_v2.pyConfiguration31.9 KB —
releases/20261004-retained-checkpoints-v1/source/93d38e4724c5f34aab7f39f050742e98ef0c8d80e2ff70459d2401541505fc56/ipfs_datasets_py/logic/intent_ir/schema.pyConfiguration27.2 KB —
releases/20261004-retained-checkpoints-v1/source/abc3aea9c2f4d1ce513ee2c9fc4c304d8bd387ded18e0d646247417422225d39/ipfs_datasets_py/logic/security_ir/model.pyConfiguration37.2 KB —
releases/20261004-retained-checkpoints-v1/source/d66ecfaa2c967cda40a1cf4b82936a34039e38ccdb3044468697a4f90af2844b/ipfs_datasets_py/logic/legal_ir/canonical_contracts.pyConfiguration109.3 KB —
releases/20261004-retained-checkpoints-v1/source/d7be6bff3a1f1464d4783567b90942258ef718bc1c2b7e02938698ed4e619e57/ipfs_datasets_py/logic/ui_ux_ir/decoder.pyConfiguration8.0 KB —
releases/20261004-retained-checkpoints-v1/source/ec5bdcd752d157c9fc0257a45551cfe9ce7be172af767e8ed769bf1bc8a31d36/ipfs_datasets_py/optimizers/logic_theorem_optimizer/modal_latent_formula.pyConfiguration35.4 KB —
releases/20261004-retained-checkpoints-v1/source/f051f42d64c5f993451972924953cc7eaa6d17df097235ddabfd5d791d406f91/ipfs_datasets_py/logic/software_verification/program.pyConfiguration58.1 KB —
releases/20261004-retained-checkpoints-v1/source/f90769a3d99131da5ba48bb84c6f830f521c92d98122bdaaa8dd88fc65042290/ipfs_datasets_py/optimizers/logic_theorem_optimizer/legal_formula_codec.pyConfiguration14.6 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/asset-manifest.jsonConfiguration20.7 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/checkpoint.jsonConfiguration383.2 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/checkpoint.jsonConfiguration383.2 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/manifest.jsonConfiguration1.3 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/provenance.jsonConfiguration3.4 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/replay-inputs.jsonConfiguration32.9 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/validation.jsonConfiguration648 B —
releases/retained-checkpoints/f87299d9c9e91e00f1639aa8486b0a5ea66bb2a6db83266c6e23425fe6175d8a/asset-manifest.jsonConfiguration13.5 KB —
releases/retained-checkpoints/f87299d9c9e91e00f1639aa8486b0a5ea66bb2a6db83266c6e23425fe6175d8a/checkpoint.jsonConfiguration589.0 KB —
releases/retained-checkpoints/f87299d9c9e91e00f1639aa8486b0a5ea66bb2a6db83266c6e23425fe6175d8a/original-package/authored-corpus.jsonConfiguration142.0 KB —
releases/retained-checkpoints/f87299d9c9e91e00f1639aa8486b0a5ea66bb2a6db83266c6e23425fe6175d8a/original-package/checkpoint.jsonConfiguration589.0 KB —
releases/retained-checkpoints/f87299d9c9e91e00f1639aa8486b0a5ea66bb2a6db83266c6e23425fe6175d8a/original-package/manifest.jsonConfiguration8.1 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/checkpoints/5c8404aa3f933e4edc9a6181d12d9ddee606e4b25a54b616980de51b66274dbb/manifest.jsonConfiguration1.0 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/checkpoints/5c8404aa3f933e4edc9a6181d12d9ddee606e4b25a54b616980de51b66274dbb/payload.jsonConfiguration130.3 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/evidence/4b489de453cda01638a1abdf76baf2325016f6515b4ea9a10ff38ee4d84903ad/manifest.jsonConfiguration1.4 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/evidence/4b489de453cda01638a1abdf76baf2325016f6515b4ea9a10ff38ee4d84903ad/projection-and-fit-report.jsonConfiguration546.6 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/evidence/4b489de453cda01638a1abdf76baf2325016f6515b4ea9a10ff38ee4d84903ad/receipt.jsonConfiguration5.5 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/inputs/771008c88949a362fe704a3c11c6488f1112c3981156ccfaba86a6cb0ddc6e56/manifest.jsonConfiguration819 B —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/inputs/771008c88949a362fe704a3c11c6488f1112c3981156ccfaba86a6cb0ddc6e56/payload.jsonConfiguration3.2 MB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/618dbcccbb2d5b6279d78e40e7d511b361a79dab65f03c1804ce59dcdb66c142/manifest.jsonConfiguration6.1 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/6a855257f27a1663ac8c850f07eb82171325abdda73f832f741fa4cb9064b803/manifest.jsonConfiguration5.3 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/ce809e87af9eb484852563f650b7ac5dd4c3b0dd8650be758344c5e3983a0032/manifest.jsonConfiguration9.9 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/updates/6ca6e0c406469a0ed6ed7c799b858ea61dbc7ff9ab7b9baa4cf00f3ae6184780/manifest.jsonConfiguration817 B —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/updates/6ca6e0c406469a0ed6ed7c799b858ea61dbc7ff9ab7b9baa4cf00f3ae6184780/payload.jsonConfiguration764.2 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/updates/d3e22b1d932514b36e36443210da40b5e88f1b7a0c9de822529f69a16514d0b1/manifest.jsonConfiguration817 B —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/updates/d3e22b1d932514b36e36443210da40b5e88f1b7a0c9de822529f69a16514d0b1/payload.jsonConfiguration667.9 KB —
README.mdDocumentation4.2 KB —
releases/20261001-structured-native-v3-experimental/README.mdDocumentation2.9 KB —
releases/20261002-384-development-v1/README.mdDocumentation3.4 KB —
releases/20261004-retained-checkpoints-v1/MODEL_CARD.mdDocumentation1.3 KB —
releases/20261004-retained-checkpoints-v1/context/943fa5f078fe898c3e292cfab046c8b1064ec0e0894b31c3559b319bdb5b52ea/MODEL_CARD.mdDocumentation3.4 KB —
releases/20261004-retained-checkpoints-v1/context/c1fdfd71e218e462a1e643ba416a15fa39a3a0a6c904f5849d709b72d2e297cd/README.mdDocumentation2.9 KB —
releases/retained-checkpoints/413f2ec38958665a3e48bdcfaccb780ea17ca449cb5f4516b6908c47e297c4b3/original-package/README.mdDocumentation2.9 KB —
releases/20261004-retained-checkpoints-v1/SOURCE-LICENSE-AGPL-3.0.txtOther34.5 KB —
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/618dbcccbb2d5b6279d78e40e7d511b361a79dab65f03c1804ce59dcdb66c142/evidence.tar.gzOther101.2 KB dd053a39fadf
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/6a855257f27a1663ac8c850f07eb82171325abdda73f832f741fa4cb9064b803/evidence.tar.gzOther96.0 KB f459e995ef2c
training/structured384/20c621da5b717eb7fb8174df991efb593bcd846e0d68a3edd62f3151ae041157/projection-checks/ce809e87af9eb484852563f650b7ac5dd4c3b0dd8650be758344c5e3983a0032/evidence.tar.gzOther1.3 MB 21278458f91f
.gitattributesRepository1.5 KB —

License and Download

License
Not stated by the source
Access
Open weights, no gate
Download from Publicus

Released by Publicus through its official repository on Hugging Face.