Monograph I of the SAFE-AI program — Zenodo Version 4. A unified mathematical framework, in four Parts, for what a disciplined user can and cannot do to a frozen-weight large language model by applying structured operations — brackets, anchors, traversal protocols, and engagement modalities — at inference time, without...
Victor P. Berardi· Zenodo (CERN European Organi...· 0 citations
ABSTRACT Understanding long‐term rainfall variability is critical for assessing climate risk in drought‐prone regions of southern Africa, yet instrumental records for much of the subcontinent are short and spatially sparse. Here, we present the first annually and seasonally resolved documentary rainfall reconstructions...
David; id_orcid 0000-0002-7641-5857 Nash, Matthew Hannaford, Bárbara Direito· International Journal of Cli...· 0 citations
Abstract Background: Traditional clinical toxinology remains anchored to a reactive, symptomatic care paradigm and an unstable, animal-derived polyclonal antivenom infrastructure. This legacy model leaves envenomation victims vulnerable to Envenomation-Induced Senescence (EIS): a silent, chronic syndrome of progressive...
Jan-Peter Nilsson· Zenodo (CERN European Organi...· 0 citations
Background. Large language models (LLMs) are increasingly proposed as clinical decision support tools in intensive care. Most existing evaluations focus on static recall of medical knowledge and do not capture how a model behaves in dynamic clinical dialogue, under social pressure, or in ethical conflict. The safety of...
Taras Shlyakhta· Zenodo (CERN European Organi...· 0 citations
The universe moves. Not just galaxies drifting apart — everything, at every scale, is in directional flow through a physical substrate that fills space. That substrate is not empty. It has mechanical properties: resistance, shear, compression, and flow gradients. This paper presents a unified model — the Unified Substr...
Dustin Lee· Zenodo (CERN European Organi...· 0 citations
Large language models lose coherence over long reasoning chains and long contexts: accuracy degrades with input length well inside the nominal context window, per-step errors compound, and the end state is often a fluent contradiction of the model's own earlier statements. This note draws a structural analogy between t...
Mohamad Al-Zawahreh· Zenodo (CERN European Organi...· 0 citations
This study investigates the robustness and specificity of the effect of positive retrospective evaluations on the subsequent conversational behavior of large language models (LLMs). Rather than claiming the discovery that praise or social feedback alters outputs—a phenomenon already documented—the protocol asks whether...
DIOGENES SIMOES· Zenodo (CERN European Organi...· 0 citations
Property-based testing tools such as Hypothesis can turn a formal grammar into a generator of syntactically valid inputs, but the generator itself is typically static: hand-tuned once and reused unchanged for the rest of a fuzzing campaign. We study whether a large language model (LLM), given only a formal grammar and...
Ziyad Mohammad Mansy Ibrahim· Zenodo (CERN European Organi...· 0 citations
This study investigates the robustness and specificity of the effect of positive retrospective evaluations on the subsequent conversational behavior of large language models (LLMs). Rather than claiming the discovery that praise or social feedback alters outputs—a phenomenon already documented—the protocol asks whether...
DIOGENES SIMOES· Zenodo (CERN European Organi...· 0 citations
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.
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.
Microsoft Research Blog· microsoft.comOct 12, 2026
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026