Title |
|---|
 Guiding Word Equation Solving using Graph Neural Networks (Extended
Technical Report)Automated Technology for Verification and Analysis (ATVA), 2024 |
 Augment with Care: Contrastive Learning for Combinatorial ProblemsInternational Conference on Machine Learning (ICML), 2022 |
 Reinforcement Learning Based Query Vertex Ordering Model for Subgraph
MatchingIEEE International Conference on Data Engineering (ICDE), 2022 |
 Generalization of Neural Combinatorial Solvers Through the Lens of
Adversarial RobustnessInternational Conference on Learning Representations (ICLR), 2021 |
 The Threat of Offensive AI to OrganizationsComputers & security (CS), 2021 Yisroel Mirsky Ambra Demontis J. Kotak Ram Shankar Deng Gelei Liu Yang Xinming Zhang Wenke Lee Yuval Elovici Battista Biggio |
 Goal-Aware Neural SAT SolverIEEE International Joint Conference on Neural Network (IJCNN), 2021 |
 My Body is a Cage: the Role of Morphology in Graph-Based Incompatible
ControlInternational Conference on Learning Representations (ICLR), 2020 |
