formal logic

On the Robustness of Domain Constraints
Machine learning is vulnerable to adversarial examples–inputs designed to cause models to perform poorly. However, it is unclear …
Ryan Sheatsley, Blaine Hoak, Eric Pauley, Yohan Beugin, Michael J. Weisman, Patrick McDaniel
Cite DOI URL