Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
This record contains the manuscript “Weights Learn Experiences, Structures Crystallize Knowledge: Trace-Governed Structural Plasticity for Continual Learning — A Controlled Proof-of-Mechanism Study”. The paper investigates whether repeated explicit reasoning can alter a learner’s computation graph, not only its numerical parameters. It proposes a trace-governed structural plasticity lifecycle: explicit knowledge and a small core first solve an input and produce a provenance-bearing proof trace; repeated stable traces generate candidate neural circuits whose nodes and edges follow proof dependencies; candidates are shadow-validated before entering the active graph; changes to source rules deactivate dependent circuits and return execution to explicit reasoning. The mechanism is evaluated in a controlled Boolean fact environment across six sequential stages, using five development seeds and five held-out seeds. The learned structural path scores 100% on every seen task at every stage. After four distinct skills, a fixed shared network reaches 80.5% and 88.5% mean accuracy on matched-distribution cases in the two seed groups. A generic growing expert bank also retains 100% on those cases, so structural isolation, not proof traces alone, explains in-distribution retention in this setting. On exhaustive held-out fact combinations, trace-governed circuits retain 100%, while generic growth reaches 76.3% and 77.3%. Supporting tests verify condition-bearing neural topology, rollback after a hidden rule change, and active diagnosis when final-answer feedback is causally ambiguous. The work is a controlled proof-of-mechanism study. It does not claim open-ended language learning, unrestricted task discovery, or a general efficiency advantage. The benchmark is narrow and synthetic, the controls are intentionally simple, and the structural contribution is not fully isolated from richer intermediate supervision.
Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...
A. Marchenko, P. Abrahamsson· Agile Conference· 59 citations· ⚡11
A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.
Yaser Ghanam, F. Maurer, P. Abrahamsson· Information and Software Tec...· 41 citations· ⚡3
It is shown that high article processing charges are not sufficiently justified by the publishers, which often lack transparency and may prevent authors from adopting OA.
D. Graziotin, Xiaofeng Wang, P. Abrahamsson· Scientometrics· 21 citations· ⚡1
MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.
Yang Yue, Shu Li, Yihua Cheng et al.· bioRxiv· 15 citations
PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.
Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al.· Journal of Chemical Informat...· 13 citations· ⚡1
OmniMol is presented, a framework using hypergraphs to improve predictions of molecular properties, addressing challenges of imperfect data annotation and enhancing model explainability, and achieves state-of-the-art performance in properties prediction.
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.