Author:Ekaterina Komendantskaya
Keyphrasesabstract interpretation, adversarial training2, declarative semantics, Differentiable Logic, domain-specific languages, Fuzzy Logic, machine learning, Neural Network Verification2, NLP, probabilistic logic, programming languages, types2. |