Duke Pratt School of Engineering

Mapping Behavior with Machine Learning

By transforming movement into data, Timothy Dunn is reshaping how scientists can study behavior and the brain.
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 ...