First-of-its-kind automated root imaging platform speeds plant discoveries

The Department of Energy's Oak Ridge National Laboratory has launched a novel robotic platform to rapidly analyze plant root systems as they grow, yielding AI-ready data to accelerate the development ...
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.
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 ...