vehicle
vehicle copied to clipboard
vehicle-lang
A toolkit for enforcing logical specifications on neural networks
**Python backend** - [x] Add meet/join to minimize/maximize - [x] Add context to minimize/maximize - [ ] Add PGD as default optimization strategy, from implementation on `old-pgd` branch - [x]...
It's reached "end-of-life" and the latest versions of tensorflow no longer support it.
According to Haskell these are both deprecated: https://haskell-language-server.readthedocs.io/en/stable/support/ghc-version-support.html#current-ghc-version-support-status
`logic-and-comparisons.DL2Loss` and `windController.DL2loss` tests is disabled as tensor equality is incorrect converted to a fold before conversion to loss function.
The crucial change is that we need some notion of the domain of the variable from which to sample and clip into. This really should be derivable from the specification,...
Being worked on by me and Wen in the onnxruntime bindings project. (@wenkokke this issue is needed for referencing in other issues)
The magic command according to @wenkokke is: ``` pip install vehicle-lang[pygments] ```
Should be possible as we're dependently typed...
Metadata
Owner
Metadata
A toolkit for enforcing logical specifications on neural networks