Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.
Scientific American

AI techniques speed up forensic analysis of crucial crime scene larvae

To use this evidence, investigators typically must grow the larvae until adulthood in a laboratory setting and then identify ...

This scientist is racing to predict deadly volcanic mudslides

One of the most deadly and dangerous volcano hazards isn’t lava. Mudflows called lahars can come without clear warning.
IEEE

Learning-Aided Iterated Local Search Algorithm for Integrated Order Batching, Picker Assignment, Batch Sequencing, and Picker Routing Problem

Abstract: This work tackles an integrated order batching, picker assignment, batch sequencing, and picker routing problem in warehouse environments. A Learning-Aided Iterated Local Search (LILS) is ...
IEEE

A Detailed Study on Algorithms for Predictive Maintenance in Smart Manufacturing: Chip Form Classification Using Edge Machine Learning

Abstract: Industrial and technological evolution has led to the identification of different techniques and strategies that can best adapt to the needs of Manufacturing Industry 4.0. As industrial ...