Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

AI makes a major breakthrough in a math problem that had stumped experts for decades

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...
IEEE

Linear Inverse Problem for Depth Completion with RGB Image and Sparse LIDAR Fusion

Abstract: Comprehensive depth information from surrounding scenes is important for perception in autonomous driving and robots. Sparse LIDAR sensors give a low-density point cloud of the environment, ...
IEEE

Machine Learning-Based Problem Space Reduction in Stochastic Programming Models: An Application in Biofuel Supply Chain Network Design

Abstract: Biofuels derived from feedstock offer a sustainable source for meeting energy needs. The design of supply chains that deliver these fuels needs to consider quality variability with special ...