Tootfinder

What You See Is What It Does: A Structural Pattern for Legible Software
Eagon Meng, Daniel Jackson
https://arxiv.org/abs/2508.14511 https://arxiv.org/pdf/2…

What You See Is What It Does: A Structural Pattern for Legible Software
The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often "illegible" - lacking a direct correspondence between code and observed behavior - and insufficiently modular, leading to a failure of three key requirements of robust coding: incrementality (the ability to deliver small increments by making localized changes), integrity (avoiding breaking prior increments) and transparency (making clear what has c…

Convex computation of regions of attraction from data using Sums-of-Squares programming
Oumayma Khattabi, Matteo Tacchi-B\'enard, Sorin Olaru
https://arxiv.org/abs/2507.14073 …

Convex computation of regions of attraction from data using Sums-of-Squares programming
The paper concentrates on the analysis of the region of attraction (ROA) for unknown autonomous dynamical systems. The aim is to explore a data-driven approach based on moment-sum-of-squares (SoS) hierarchy, which enables novel RoA outer approximations despite the reduced information on the structure of the dynamics. The main contribution of this work is bypassing the system model and, consequently, the recurring constraint on its polynomial structure. Numerical experimentation showcases the in…

From Slices to Structures: Unsupervised 3D Reconstruction of Female Pelvic Anatomy from Freehand Transvaginal Ultrasound
Max Kr\"ahenmann, Sergio Tascon-Morales, Fabian Laumer, Julia E. Vogt, Ece Ozkan
https://arxiv.org/abs/2508.14552

From Slices to Structures: Unsupervised 3D Reconstruction of Female Pelvic Anatomy from Freehand Transvaginal Ultrasound
Volumetric ultrasound has the potential to significantly improve diagnostic accuracy and clinical decision-making, yet its widespread adoption remains limited by dependence on specialized hardware and restrictive acquisition protocols. In this work, we present a novel unsupervised framework for reconstructing 3D anatomical structures from freehand 2D transvaginal ultrasound (TVS) sweeps, without requiring external tracking or learned pose estimators. Our method adapts the principles of Gaussian…

Adaptive Anomaly Detection in Evolving Network Environments
Ehssan Mousavipour, Andrey Dimanchev, Majid Ghaderi
https://arxiv.org/abs/2508.15100 https://ar…

Adaptive Anomaly Detection in Evolving Network Environments
Distribution shift, a change in the statistical properties of data over time, poses a critical challenge for deep learning anomaly detection systems. Existing anomaly detection systems often struggle to adapt to these shifts. Specifically, systems based on supervised learning require costly manual labeling, while those based on unsupervised learning rely on clean data, which is difficult to obtain, for shift adaptation. Both of these requirements are challenging to meet in practice. In this pa…

From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
John E. Hummel, Rachel F. Heaton
https://arxiv.org/abs/2508.15082 https://

From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
What is it about human brains that allows us to reason symbolically whereas most other animals cannot? There is evidence that dynamic binding, the ability to combine neurons into groups on the fly, is necessary for symbolic thought, but there is also evidence that it is not sufficient. We propose that two kinds of hierarchical integration (integration of multiple role-bindings into multiplace predicates, and integration of multiple correspondences into structure mappings) are minimal requiremen…

Distributed Shared Layered Storage Quantum Simulator: A novel quantum simulation system for efficient scaling and cost optimization
Mingyang Yu, Haorui Yang, Donglin Wang, Desheng Kong, Ji Du, Yulong Fu, Wei Wang, Jing Xu
https://arxiv.org/abs/2508.15542

Distributed Shared Layered Storage Quantum Simulator: A novel quantum simulation system for efficient scaling and cost optimization
Quantum simulators are essential tools for developing and testing quantum algorithms. However, the high-frequency traversal characteristic of quantum simulators represents an unprecedented demand in the history of IT, and existing distributed technologies is unable to meet this requirement, resulting in a single-node bottleneck of quantum simulator. To overcome this limitation, this paper introduces a novel Distributed Shared Layered Storage Quantum Simulator (DSLSQS). By leveraging an innovati…

Can LLMs Generate User Stories and Assess Their Quality?
Giovanni Quattrocchi, Liliana Pasquale, Paola Spoletini, Luciano Baresi
https://arxiv.org/abs/2507.15157

Can LLMs Generate User Stories and Assess Their Quality?
Requirements elicitation is still one of the most challenging activities of the requirements engineering process due to the difficulty requirements analysts face in understanding and translating complex needs into concrete requirements. In addition, specifying high-quality requirements is crucial, as it can directly impact the quality of the software to be developed. Although automated tools allow for assessing the syntactic quality of requirements, evaluating semantic metrics (e.g., language c…

A Robust Periodic Controller for Spacecraft Attitude Tracking
Frederik Thiele, Felix Biert\"umpfel, Harald Pfifer
https://arxiv.org/abs/2507.13908 htt…

A Robust Periodic Controller for Spacecraft Attitude Tracking
This paper presents a novel approach for robust periodic attitude control of satellites. Respecting the periodicity of the satellite dynamics in the synthesis allows to achieve constant performance and robustness requirements over the orbit. The proposed design follows a mixed sensitivity control design employing a physically motivated weighting scheme. The controller is calculated using a novel structured linear time-periodic output feedback synthesis with guaranteed optimal L2-performance. Th…

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
Sai Zhang, Zhenchang Xing, Jieshan Chen, Dehai Zhao, Zizhong Zhu, Xiaowang Zhang, Zhiyong Feng, Xiaohong Li
https://arxiv.org/abs/2507.14969

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
The vision of End-User Software Engineering (EUSE) is to empower non-professional users with full control over the software development lifecycle. It aims to enable users to drive generative software development using only natural language requirements. However, since end-users often lack knowledge of software engineering, their requirement descriptions are frequently ambiguous, raising significant challenges to generative software development. Although existing approaches utilize structured la…

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
Nenad Petrovic, Vahid Zolfaghari, Andre Schamschurko, Sven Kirchner, Fengjunjie Pan, Chengdng Wu, Nils Purschke, Aleksei Velsh, Krzysztof Lebioda, Yinglei Song, Yi Zhang, Lukasz Mazur, Alois Knoll
https://arxiv.org/abs/2507.15025

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
Adoption of state-of-art Generative Artificial Intelligence (GenAI) aims to revolutionize many industrial areas by reducing the amount of human intervention needed and effort for handling complex underlying processes. Automotive software development is considered to be a significant area for GenAI adoption, taking into account lengthy and expensive procedures, resulting from the amount of requirements and strict standardization. In this paper, we explore the adoption of GenAI for various steps …