Harel, David
- Verifying Learning-Based Robotic Navigation Systems
2022/05/26 by Guy Amir, Amir, Guy, Davide Corsi +11 · 4 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Data Classification #Optimization and Control (math.OC) #Robotics (cs.RO)
- Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies
2025/01/31 by Nadav Timor, Jonathan Mamou, Timor, Nadav +13 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques
- On Augmenting Scenario-Based Modeling with Generative AI
2024/01/04 by David Harel, Guy Katz, Harel, David +5 · 2 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #68N19 #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications #Software Engineering (cs.SE)
- Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
2025/01/06 by Ran, Dezhi, Wu, Mengzhou, Yu, Hao +15 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models
2023/12/27 by David Harel, Harel, David, Uwe Aßmann +9 · 1 citation
Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research