ISO Graph Query Language (GQL) is the first international standard for property graph-based graph query languages, standardized as ISO/IEC 39075 in 2024. However, ISO/IEC 39075 codifies its semantics informally across 600+ pages of prose, making it difficult to formally reason about the standard or for a standard-faithful implementation. Existing formalizations are not adequate because they either: (1) significantly reduce the semantic complexity by omitting bag semantics, schemas, and composite queries on multiple graphs; (2) or significantly reduce the syntactic complexity by only considering isolated fragments such as pattern-matching, leaving the full query pipeline unformalized. Yet it is these semantic-syntactic features that make formalizing GQL non-trivial. We present MGQL, the first mechanized, small-step operational semantics for a substantial read-only fragment of GQL that is grounded in the ISO/IEC 39075 standard. Our formalization models multi-graph property graphs with mixed edge directionality and supports a large fraction of GQL pattern constructs: quantified paths and edges, directional and undirected matching, label expressions, pattern lists, and composite queries. The semantics is supported by a schema-aware type system that refines variable types via closed-graph schemas, tracks nullability, supports multiple composite query operators, and models quantified-path bindings with list types. We prove that our type system is sound, ensuring an end-to-end guarantee of well-formed queries yielding results that conform to their declared schemas. MGQL provides the first bridge between GQL's informal specification and a mechanized implementation, enabling formal reasoning about correctness.
LifeSciBench is introduced, a benchmark of 750 expert-authored tasks designed to evaluate whether language models can handle realistic life science research work, with each constituent task paired with a human expert-written rubric.
Amelia Liu, Andrew Ho, Anne Marie Droste et al.· bioRxiv· 2 citations
A rapidly advancing precision-therapy pipeline-including antisense oligonucleotides to upregulate the intact allele, AAV-based gene replacement, CRISPR-mediated transcriptional activation, epigenetic modulators, and rational pathway-targeted small molecules-offers realistic prospects for disease modification.
Autistic children experience disproportionately high rates of anxiety, yet common interventions such as cognitive behavioural therapy and traditional mindfulness practices may be less effective due to their cognitive and abstract demands. Yoga nidra, a form of guided meditation using concrete visualisations and breath awareness, may offer a more accessible alternative. This mixed methods study evaluated the feasibility and pilot efficacy of a co-designed six-week online yoga nidra intervention targeting anxiety in autistic children aged 8-14 years. Neurophysiological and psychological data were collected from 13 participants using parent- and self-reported measures of anxiety (ASC-ASD), intolerance of uncertainty (IUSC), and emotion dysregulation (EDI), alongside heart rate variability (HRV). Notably, the cohort included a minimally speaking child, which demonstrates the potential for the intervention to extend to autistic children with language support needs, a group who are often underrepresented in similar research. Results indicated no statistically significant changes in anxiety over time; however, medium effect sizes were observed in self- (Hedge's g = 0.55) and parent-reported anxiety (Hedge's g = 0.45), with three participants moving from clinically significant to non-significant anxiety levels post-intervention. Additionally, intolerance of uncertainty and emotion dysregulation demonstrated small to medium effect size reductions (IUSC, Hedge's g = 0.50; EDI-Reactivity, Hedge's g = 0.55; EDI-Dysphoria, Hedge's g = 0.25), suggesting potential benefits of yoga nidra in these areas. Greater attendance was significantly associated with self-reported reductions in anxiety (ASC-ASD-SR, r = .757, p < .05), but not the other outcome measures. Unexpectedly, HRV outcomes indicated reduced autonomic functioning post-intervention. Additionally, qualitative data from semi-structured interviews with three child participants and their mothers from the study were analysed using reflexive thematic analysis, revealing five key themes of their experience: Thinking About the Body is Hard; We Want More; Homework Sucks; Making Mindfulness Concrete; and On-Screen and At Home is Convenient. While the online format was appreciated for its accessibility, challenges with adherence and scheduling highlighted the need for more flexible delivery models. This study advances upon prior research by being the first to develop a co-designed yoga nidra intervention specifically for autistic children. Findings support the feasibility of yoga nidra as a complementary intervention for autistic children and suggest directions for future research, including larger trials and further co-design with the autistic community.
Tundi Loftus, Shu H Yau, Sophia Soares et al.· Research in Developmental Di...· 1 citation
TestifAI, a deep learning testing framework for efficient and accurate estimation of robustness against combinations of perturbations, is proposed and partial model tomography is introduced, a novel approach to reconstructing model behaviour in a multi-perturbation space from tests that apply only a small number of perturbations.
Arooj Arif, T. Hartung, E. Botoeva et al.· 1 citation
Video multimodal large language models support language guided video segmentation, but they often show spatio temporal inconsistencies, e.g., jitter, drift, and identity switches. These failures are more common when targets are partly hidden or when similar objects appear nearby.One likely reason is that current training lacks explicit spatial priors, which makes it difficult to maintain stable spatial identity and shape over time. We present PhysMLLMs, a training-stage prior injection architecture that injects physics-inspired spatial continuity priors into Video MLLMs. PhysMLLMs is designed to encourage more stable object-centered representations by aligning the student global visual representation with a frozen teacher model during training. Our core mechanism, Global Representation Prior Alignment (REPA-Global), distills global visual representations from a frozen DINOv2 teacher using an offline embedding cache and a scheduled distillation plan. This design keeps inference unchanged and does not add inference time cost. Across multiple video benchmarks, PhysMLLMs improves video segmentation mask quality and cross-frame consistency, with larger gains on challenging cases involving small targets, fast motion, occlusion, distractors, and reasoning queries. On single-frame referring image segmentation and representative general VLM benchmarks, PhysMLLMs maintains comparable performance, demonstrating that the injected spatial prior improves video consistency without compromising image-level grounding or general multimodal capability. These results suggest that physics-inspired spatial prior injection can improve temporal stability while preserving general capability. The code is available at https://github.com/tusu-code/20260121-icml2026-2.git.
Siyao Yan, Bo Han, Jisheng Dang et al.· 0 citations
Large Language Models show potential in their diagnostic accuracy and consequent ability to reduce clinician burden, and may provide the greatest benefit when used to optimise referral quality at source, improving both clinician and potentially LLM triage downstream.
K. Surendran, I. Aziz, Glyndwr Jenkins· Current Surgery Reports· 0 citations
A new method for surgically removing training examples from a model reveals that as datasets grow, the link between what a model learns and what it produces dissolves.
