Microsoft Research (United Kingdom)

Bringing Everyone to the Table: An Experimental Study of LLM-Facilitated Group Decision Making

Group decision-making often suffers from uneven information sharing, hindering decision quality. While large language models (LLMs) have been widely studied as aids for individuals, their potential to support groups of users, potentially as facilitators, is relatively underexplor...

Symbolic Derivatives: Regularity and �-Regularity Modulo Theories

Symbolic derivatives support lazy unfolding of formulas in a logic over words, such as extended regular expressions, into symbolic automata . Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally ap...

GenAI-based group awareness tools for supporting collaborative learning

In Computer-Supported Collaborative Learning (CSCL), Group Awareness Tools (GATs) collect raw data produced during collaboration, interpret awareness information from that data, and visualize awareness information to support students in perceiving differences among themselves in...

The Python simulations of chemistry framework: 10 years of an open-source quantum chemistry project

Over the past decade, the Python-based Simulations of Chemistry Framework (PySCF) has developed into a widely used open-source platform for electronic-structure theory and quantum chemical method development. This article reviews the major advances since the previous overview in...

An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking

Abstract Reliable description of bond breaking remains a major challenge for quantum chemistry due to the multireference character of the electronic structure in dissociating species. Multireference methods in particular suffer from large computational cost, which under the norma...

Structural causal influence captures the forces of social inequality in models of infectious disease

Abstract Mathematical models are central to understanding disease transmission for host–pathogen systems across the biosphere. However, most existing frameworks do not explicitly treat host population heterogeneity as a formal driver of variation in transmission dynamics. This ga...

Integrative Analysis of Genome Data Using Deep Embedded Clustering to Identify Population Stratification and Functional Gene Modules

AbstractIntroduction: Next-Generation Sequencing (NGS) data analysis faces computational challenges due to high dimensionality. Traditional clustering methods fail to capture biological complexity in human genetic variation. This study introduces Deep Embedded Clustering (DEC) fo...

A live‐cell autophagy reporter reveals reversible vacuolation in naked mole‐rat skin fibroblasts under lysosomal stress

Abstract Naked mole-rats (NMRs, Heterocephalus glaber ) display unusual longevity and resistance to age-related decline, and accumulating evidence suggests that their autophagy–lysosome pathway (ALP) is regulated differently from that of conventional mammalian models. However, mo...