Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Scientific Computing and Data Management
Abstract
A control-plane analysis distinguishing three concepts routinely collapsed in contemporary AI discourse: event verifiability, proxy validity, and governance sufficiency. Taking Reinforcement Learning with Self-Verifiable Rewards and its SpyRL instantiation as its case, it accepts the engineering contribution — an environment that can check a detection outcome against a preassigned latent variable without a human grader — and argues that this relocates rather than resolves the epistemic problem. A reward can be computed deterministically while measuring the wrong construct; a proxy can correlate with human judgment in one setting and fail under distribution shift, collusion, or a change in stakes; and a model can optimize a valid objective while remaining unauthorized to act. It locates precisely where determinism ends inside the method, treats a reward as an evidence packet with provenance, scope and admissibility rather than as a verdict, sets out an eight-layer control architecture separating target definition from proxy construction, validation, update authorization, deployment qualification, runtime permission and audit, and proposes a validation protocol independent of the training loop. Its central claim is that training success does not confer runtime authority. self-verifiable rewards; RLSVR; SpyRL; reinforcement learning; proxy validity; Goodhart's law; construct validity; evidence provenance; pre-execution control; runtime permission; agentic AI
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
This state-of-practice investigation was performed using a literature review followed by a multiple-case study approach and presents how inconsistency between managerial strategies and execution can lead to failure by means of a behavioral framework.
Carmine Giardino, Xiaofeng Wang, P. Abrahamsson· International Conference on...· 175 citations· ⚡19
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
It is found that roles of MVPs in startups were not fully aware by entrepreneurs, and entrepreneurs should consider a systematic approach to fully explore the value of MVP, as a multiple facet product (MFP).
Anh Nguyen-Duc, P. Abrahamsson· International Conference on...· 93 citations· ⚡9
It is found that what perceived as biggest challenges by software startups do vary across different life cycle stages, even though its significance decreases when the learning focuses of the startups move from problem to solution and their products mature.
Xiaofeng Wang, Henry Edison, Sohaib Shahid Bajwa et al.· International Conference on...· 62 citations· ⚡6
A comprehensive overview of how enhanced sampling methods are reshaping the field, with a particular focus on the data-driven construction of collective variables, is provided.
Kai Zhu, Enrico Trizio, Jintu Zhang et al.· Chemical Reviews· 58 citations
A weeklong summer workshop brought higher education faculty to campus to explore how AI and machine learning materials can be adapted for their classrooms.