Author:Matthew L. Daggitt
Keyphrasesadversarial training, declarative semantics, Differentiable Logic, domain-specific languages, Fuzzy Logic, machine learning, Neural Network Verification, probabilistic logic, programming languages, types2. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |