Vertical Reasoning Enhanced Learning, Generation and Scientific Discovery

Explore the integration of automated reasoning and machine learning in artificial intelligence through a talk by Dr. Yexiang Xue from Purdue University. Delve into three case studies demonstrating how vertical reasoning enhances learning: the Spatial Reasoning INtegrated Generator (SPRING) for image generation, symbolic regression for learning Partial Differential Equations in materials science, and streamlining XOR constraints for Satisfiable Modulo Counting. Gain insights into Dr. Xue's research on bridging constraint-based reasoning with machine learning for optimal decision-making in real-world applications, spanning fields such as renewable energy, materials science, urban computing, and computational sustainability.