Daniel Neider
- Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash
2021/11/12 by Lukas Struppek, Dominik Hintersdorf, Daniel Neider +1 · 2 voices · 1 citation
Computer Science · #cs.LG #cs.CR #cs.CV
- Joint Inference of Reward Machines and Policies for Reinforcement Learning
2019/09/12 by Zhe Xu, Ivan Gavran, Xu, Zhe +11 · 5 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning and Algorithms #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics
- Neuro-Symbolic Verification of Deep Neural Networks
2022/03/02 by Xuan Xie, Kristian Kersting, Xie, Xuan +3 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Physical Unclonable Functions (PUFs) and Hardware Security #Explainable Artificial Intelligence (XAI)
- Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
2024/02/11 by Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Alsadat, Shayan Meshkat +7 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Property-Directed Verification of Recurrent Neural Networks
2020/09/22 by Igor Khmelnitsky, Daniel Neider, Khmelnitsky, Igor +15 · 1 citation
Computer Science · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
2021/10/13 by Ritam Raha, Raha, Ritam, Rajarshi Roy +5 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG)
- Robust Alternating-Time Temporal Logic
2023/07/20 by Aniello Murano, Murano, Aniello, Daniel Neider +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Defending Our Privacy With Backdoors
2023/10/12 by Dominik Hintersdorf, Hintersdorf, Dominik, Lukas Struppek +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
- Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
2023/06/23 by Yash Paliwal, Rajarshi Roy, Paliwal, Yash +13 · 1 citation
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Optimization and Search Problems