Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.

10 Business Schools To Watch In 2026

That's the audience that the London Business School is targeting with a new one-year MBA program. Unlike a traditional ...
Frontiers

Machine learning-based mortality prediction models for emergency department patients: a comparative analysis

Background: Accurate mortality prediction in emergency departments (ED) is crucial for timely intervention and resource allocation. This study developed and compared multiple machine learning models ...
IEEE

Hybrid Tree-Based Machine Learning Models for State-of-Charge and Core Temperature Estimation in EV Batteries

Abstract: Accurate estimation of State-of-Charge (SoC) and core temperature is fundamental to optimizing the performance, safety, and longevity of Lithium-Ion Batteries (LiBs), particularly in ...
IEEE

Defenses in Adversarial Machine Learning: A Systematic Survey From the Lifecycle Perspective

Abstract: Adversarial phenomena have been widely observed in machine learning (ML) systems, especially those using deep neural networks. These phenomena describe situations where ML systems may ...