4 citations · 5 across the 12 of their papers we have counts for
12 papers
Rethinking Higher Education: From Fixed Curricula to Learnity Graphs
Smadar Szekely, Judith Gal-Ezer, David Harel
Higher education stands at a turning point. In an era where knowledge is increasingly accessible and which is, more often than not, mediated by advanced Artificial Intelligence (AI…
A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
Assaf Marron, David Harel
An algorithm specification in natural language or pseudocode is expected to be clear and explicit enough to enable mechanical execution. In this position paper we contribute an ini…
Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes
Assaf Marron, Smadar Szekely, Irun Cohen +1
An autoencoder (AE) is a neural network that, using self-supervised training, learns a succinct parameterized representation, and a corresponding encoding and decoding process, for…
Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
Dezhi Ran, Mengzhou Wu, Hao Yu +15
Recent advances of foundation models (FMs) have made navigating mobile applications (apps) based on high-level goal instructions within reach, with significant industrial applicati…
Data and System Perspectives of Sustainable Artificial Intelligence
Tao Xie, David Harel, Dezhi Ran +11
Sustainable AI is a subfield of AI for concerning developing and using AI systems in ways of aiming to reduce environmental impact and achieve sustainability. Sustainable AI is inc…
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
Hao Yu, Tianyu Chen, Jiaming Huang +8
Recently, given the docstring for the target problem and the target function signature, large language models (LLMs) have been used not only to generate source code, but also to ge…
An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
Dezhi Ran, Mengzhou Wu, Yuan Cao +3
Foundation Models (FMs) have become essential components in modern software systems, excelling in tasks such as pattern recognition and unstructured data processing. However, their…
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
David Harel, Assaf Marron
We introduce the term Super-Reactive Systems to refer to reactive systems whose construction and behavior are complex, constantly changing and evolving, and heavily interwoven with…
Non-verbal information in spontaneous speech -- towards a new framework of analysis
Tirza Biron, Moshe Barboy, Eran Ben-Artzy +5
Non-verbal signals in speech are encoded by prosody and carry information that ranges from conversation action to attitude and emotion. Despite its importance, the principles that…
On Augmenting Scenario-Based Modeling with Generative AI
David Harel, Guy Katz, Assaf Marron +1
The manual modeling of complex systems is a daunting task; and although a plethora of methods exist that mitigate this issue, the problem remains very difficult. Recent advances in…
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models
David Harel, Uwe Aßmann, Fabiana Fournier +3
Methodologies for development of complex systems and models include external reviews by domain and technology experts. Among others, such reviews can uncover undocumented built-in…
Natural Averaging May Complement Known Biological Constraints in Bi-parental Reproduction's Advantages Over Mono-parental in Conserving Species Quantitative Traits
Assaf Marron, Smadar Szekely, Irun R. Cohen +1
Commonly recognized evolutionarily relevant effects of sexual reproduction include increased diversity, accelerated adaptation, and constrained accumulation of deleterious mutation…