We consider the problem of learning maximal Lyapunov functions to compute the maximal region of attraction of nonlinear dynamical systems using neural networks. Two obstacles limit existing neural-network approaches: 1) finite-width approximations can fail to preserve the strict Lyapunov inequalities near the equilibri...
We study how the Bauer--Jost--Liu curvature bound applies to hypergraph Ollivier--Ricci curvature (ORC) and how its accuracy depends on local mass and geometry. An explicit weighted-graph representation shows how the graph theorem applies. A transport construction transfers the bounds to monotone pairwise hyperedge agg...
The paper introduces a novel conditional independence (CI) based method for linear and nonlinear, lagged and contemporaneous causal discovery from observational time series in the causally sufficient case. Existing CI-based methods such as the PC algorithm and also common methods from other frameworks suffer from low r...
Existing gut microbiome foundation models typically use flat taxon representations, limiting their ability to exploit known taxonomic hierarchies. We introduce TaxoMFM, a microbiome foundation model that integrates taxonomic structure into self-supervised learning. TaxoMFM jointly learns abundance patterns across taxon...
Haochen Xue, Anastasia Godneva, Yulong Li et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Heads of Security (HoS), a prompt injection defense that enforces instruction-data separation via a small set of learned per-head attention gates, is introduced and shows that prompt injection robustness can be achieved and improved through targeted attention interventions.
Igor Shilov, Xiao-Xue Yang, Alexander Panfilov et al.· 0 citations
This work investigates the use of healthy normative references for EEG-based MDD detection by independently trained using healthy control recordings to characterize departures from healthy EEG patterns and develops two diagnostic approaches that incorporate normative deviations at different representation levels.
Wan Jiang, Jing Cheng, Hui Zhang et al.· 0 citations
While progress in informal mathematics has come largely from scaling the chain-of-thought and agentic reasoning of frontier language models, formal theorem proving has increasingly relied on human-designed workflows around these models, such as planning, decomposition, and orchestrating specialized provers. This raises...
Skander Moalla, A. Rammal, Niket Patel et al.· 0 citations
The sampling procedures of diffusion and flow-matching models involve hundreds of denoising steps incurring substantial inference time, which has motivated a growing body of work on training schemes for few-step and one-step generation. Existing approaches primarily seek to align the generation trajectory of few-step a...
Satellite-derived bathymetry (SDB) is often proposed as a low-cost complement to multibeam surveys of ports, but its accuracy is seldom measured on an area the model has never seen. We test SDB in the turbid, shallow and tidal waters of the Abu Dhabi coast against 285,619 multibeam soundings from twelve surveys at six...
Muhammad Saeed, Mohamed H. Alhosani, Dmitry Mikhaylov et al.· 0 citations
The main challenge in applying deep neural networks to real-world scenarios lies in distributional discrepancies between training and test datasets, often caused by variations in data acquisition conditions. Assessing the performance of pre-trained models without labels is crucial for safety, but this is complicated by...
Zeju Li, Konstantinos Kamnitsas, Mobarak I. Hoque et al.· 0 citations
Continuous electrocardiogram (ECG) streams are dominated by normal beats (87.9-98.6% of the label-free adaptation prefix in our four databases), and patient-specific waveform distortion is not shared by every beat class; under this combination, source-free and test-time adaptation methods that assume class-balanced tar...
Speculative decoding accelerates autoregressive generation by having a draft propose tokens that a target verifies in parallel. Frontier models increasingly ship a built-in Multi-Token-Prediction (MTP) draft head, assumed to be cheap beside verification. A shipped full-attention MTP head can become disproportionately e...
Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the rules: The hacker mindset appeared first on Microsoft Research.
Learn how Google Antigravity and our Cheminformatics Skills accelerate drug discovery workflows, search compounds, and propose novel rigidified macrocycles.
MIT News · Artificial Intelligence· news.mit.eduOct 28, 2026
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
MIT News · Artificial Intelligence· news.mit.eduOct 27, 2026
Prabha Jha used her experience with MIT Open Learning’s program for senior executives to develop AI solutions for her employer, Verizon, and to write a book.