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 11 days ago

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

1.52 kB
initial commit 14 days ago
README.md

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