arXiv subjects

Smadar Szekely

Publications and source records attributed to Smadar Szekely.

7 recordsLinked to original sources

arXiv2026

Rethinking Higher Education: From Fixed Curricula to Learnity Graphs

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), the value of traditional curricula models warrants reconsideration. This does not imply that one should replace thorough academic studies. Universities remain essential in providing foundational knowledge, theoretical depth and conceptual grounding. The challenge is to extend these educational facets with learning environments that foster creativity, interdisciplinary integration, hands-on experience, and especially long-term development. In this paper, we introduce a lifelong learning framework that integrates academic, professional, and personal learning, centered on a new concept that we term learnity graphs, a structured representation of learning as interconnected units of knowledge, skills, experience, and actual artifacts, coupled with a method for presenting, and leveraging it.

cs.CY↗

arXiv2025

Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes

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 all instances in a given class. Here, we introduce the concept of a meta-autoencoder (MAE): an AE for a collection of autoencoders. Given a family of classes that differ from each other by the values of some parameters, and a trained AE for each class, an MAE for the family is a neural net that has learned a compact representation and associated encoder and decoder for the class-specific AEs. One application of this general concept is in research and modeling of natural evolution -- capturing the defining and the distinguishing properties across multiple species that are dynamically evolving from each other and from common ancestors. In this interim report we provide a constructive definition of MAEs, initial examples, and the motivating research directions in machine learning and biology.

cs.LG↗

arXiv2024

Natural Averaging May Complement Known Biological Constraints in Bi-parental Reproduction's Advantages Over Mono-parental in Conserving Species Quantitative Traits

Commonly recognized evolutionarily relevant effects of sexual reproduction include increased diversity, accelerated adaptation, and constrained accumulation of deleterious mutations, along with a secondary effect of species genotype homogenization. Still, strong published arguments prioritize the contribution of biological mechanisms underlying bi-parental reproduction to maintaining species identity above their contribution to diversity. Here, we contribute to the latter position. In an initial mathematical analysis and simulation, we show that in an environment where copying is prone to error, quantitative polygenic traits that are shared within a parents' generation are transmitted to future generations under bi-parental reproduction with less deviation than under asexual reproduction. Furthermore, we abstract away many biological details, and show that this trait conservation is a general statistical effect, driven by the very nature of mixing of parental traits, separately from DNA repair and from the reproductive failures, barriers and disadvantages induced by biological mechanisms. Since survival of ecosystem interaction networks depends on the ability of individuals to replace the networked function of failing, dying or absent members of the same species, more faithful inheritance of common traits helps sustain species and ecosystems. This sustaining effect may have contributed to the very evolution of sexual reproduction.

q-bio.PE↗

arXiv2024

Non-verbal information in spontaneous speech -- towards a new framework of analysis

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 govern prosodic structure are not yet adequately understood. This paper offers an analytical schema and a technological proof-of-concept for the categorization of prosodic signals and their association with meaning. The schema interprets surface-representations of multi-layered prosodic events. As a first step towards implementation, we present a classification process that disentangles prosodic phenomena of three orders. It relies on fine-tuning a pre-trained speech recognition model, enabling the simultaneous multi-class/multi-label detection. It generalizes over a large variety of spontaneous data, performing on a par with, or superior to, human annotation. In addition to a standardized formalization of prosody, disentangling prosodic patterns can direct a theory of communication and speech organization. A welcome by-product is an interpretation of prosody that will enhance speech- and language-related technologies.

cs.SD↗

arXiv2024

On Augmenting Scenario-Based Modeling with Generative AI

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 generative AI have allowed the creation of general-purpose chatbots, capable of assisting software engineers in various modeling tasks. However, these chatbots are often inaccurate, and an unstructured use thereof could result in erroneous system models. In this paper, we outline a method for the safer and more structured use of chatbots as part of the modeling process. To streamline this integration, we propose leveraging scenario-based modeling techniques, which are known to facilitate the automated analysis of models. We argue that through iterative invocations of the chatbot and the manual and automatic inspection of the resulting models, a more accurate system model can eventually be obtained. We describe favorable preliminary results, which highlight the potential of this approach.

cs.SE↗

arXiv2023

Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models

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 assumptions that may be critical for correct and safe operation or constrain applicability. Since such assumptions may still escape human-centered processes like reviews, agile development, and risk analyses, here, we contribute toward making this process more methodical and automatable. We first present a blueprint for a taxonomy and formalization of the problem. We then show that a variety of digital artifacts of the system or model can be automatically checked against extensive reference knowledge. Since mimicking the breadth and depth of knowledge and skills of experts may appear unattainable, we illustrate the basic feasibility of automation with rudimentary experiments using OpenAI's ChatGPT. We believe that systematic handling of this aspect of system engineering can contribute significantly to the quality and safety of complex systems and models, and to the efficiency of development projects. We dedicate this work to Werner Damm, whose contributions to modeling and model-based development, in industry and academia, with a special focus on safety, helped establish a solid foundation to our discipline and to the work of many scientists and professionals, including, naturally, the approaches and techniques described here.

cs.SE↗

arXiv2020

Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems

In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then validating the correctness of the result. Many methodologies, languages and tools exist for facilitating the process, including multiple back-and-forth `refinement trips' across the requirements, design and implementation layers, by focusing on formalizing the artifacts involved and on automating a variety of tasks throughout. In this paper, we introduce a novel and unique development environment, which integrates scenario-based programming (SBP) via the LSC language and the object-oriented, visual Statecharts formalism, for the development of reactive systems. LSC targets creation of models and systems directly from requirement specifications, and Statecharts is used mainly for specifying final component behavior. Our integration enables semantically-rich joint execution, with the sharing and interfacing of objects and events, and can be used for creating and then gradually enhancing testable models from early in requirements elicitation through detailed design. In some cases, it can be used for generating final system code. We describe the technical details of the integration and its semantics and discuss its significance for future development methodologies.

cs.SE↗