Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Parallel Computing and Optimization Techniques
Abstract
AviGPT-250M-Instruct is a 250M-parameter autoregressive small language model (SLM) introducing a Semi-Parametric Decoupling paradigm for resource-constrained edge computing. Rather than overloading transformer weights with static encyclopedic memorization and floating-point arithmetic approximation, AviGPT-250M delegates factual storage to a native, sub-millisecond (0.0015 ms / 1.52 µs) NVMe Hardware Memory Bus powered by SQLite Full-Text Search (FTS5) with Okapi BM25 ranking, and delegates arithmetic evaluation to a sandboxed deterministic AST SafeMath evaluator. Across an identical 8-model competitive benchmark on an NVIDIA Tesla T4 GPU against models ranging from 125M to 1.1B parameters, AviGPT-250M achieves 100.0% Factual Accuracy and 100.0% Deterministic Math Precision, delivering the Global #1 Composite Efficiency score of 0.40 while fitting inside an ultra-compact resident VRAM footprint of just 488 MB.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
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
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
