Oak Ridge National Laboratory

Engineers, plant biologists automate plant transformation for faster discovery

To meet the growing demand for faster scientific discovery that strengthens the bioeconomy, plant scientists worked with ...

Climbing behaviors of tree-dwelling mammals unlock insights on early primate evolution

Researchers have shed new light on the features that enable tree-dwelling mammals to move effectively through their ...
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 ...
TechCrunch

Who’s behind AMI Labs, Yann LeCun’s ‘world model’ startup

Yann LeCun’s new venture, AMI Labs, has drawn intense attention since the AI scientist left Meta to found it. This week, the startup finally confirmed what it’s building — and several key details have ...
MIT Technology Review

Yann LeCun’s new venture is a contrarian bet against large language models

In an exclusive interview, the AI pioneer shares his plans for his new Paris-based company, AMI Labs. Yann LeCun is a Turing Award recipient and a top AI researcher, but he has long been a contrarian ...