Publicus
/

intent-ir-autoencoder

ipfs-datasets-py

Model card Files Files and versions

intent-ir-autoencoder

22.6 MB

Ctrl+K

Ctrl+K

1 contributor

History: 17 commits

endomorphosis's picture

Publish retained autoformalization lane research snapshots

8c9ed7e verified 3 days ago

experiments
Add experimental learned Intent action contracts and native verification evidence 6 days ago
releases
Publish retained autoformalization lane research snapshots 3 days ago
training
Archive explicit native interpretation checks and protocol counterexample 6 days ago
.gitattributes

1.52 kB
initial commit 6 days ago
README.md

4.17 kB
Point release index to complete supervisor configuration example 6 days ago