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 ...
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 ...
Beebom

AI vs Machine Learning: What is the Difference?

AI is the broad goal of creating intelligent systems, no matter what technique is used. In comparison, Machine Learning is a specific technique to train intelligent systems by teaching models to learn ...
The Lancet

Effective sample size for individual risk predictions: quantifying uncertainty in machine learning models

Copyright: © 2025 The Author(s). Published by Elsevier Ltd. Individual prediction uncertainty is a key aspect of clinical prediction model performance; however ...
Frontiers

Prediction of compressive strength of high-performance concrete based on multiple machine learning models

1 Architectural and Civil Engineering, Jinken College of Technology, Nanjing, Jiangsu, China 2 College of Civil Engineering and Architecture, Xinjiang University, Urumqi, Xinjiang, China Therefore, ...