Nature

How AI slop is causing a crisis in computer science

Large language models (LLMs) can suggest hypotheses, write code and draft papers, and AI agents are automating parts of the research process. Although this can accelerate science, it also makes it ...
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.
Frontiers

Acoustic-based machine learning approaches for depression detection in Chinese university students

Background: Depression is major global public health problems among university students. Currently, the evaluation and monitoring of depression predominantly depend on subjective and self-reported ...
IEEE

Using Permutation-Based Feature Importance for Improved Machine Learning Model Performance at Reduced Costs

Abstract: In Software Quality Assurance (SQA), predicting defect-prone software modules is essential for ensuring software reliability and consistency. This task is commonly achieved through Machine ...
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 ...