ORFE Professor Amir Ali Ahmadi and Pravesh Kothari (COS) are recipients of an AI Lab Seed Grant for their project titled “AI-Assisted Algebraic Proof Systems with Engineering Applications.” The goal of this project is to leverage application-specific data and AI tools to scale up semidefinite programming based algebraic proof systems. The team will focus on applications in safety verification of robotic systems, automated theorem proving in geometry, and algorithmic robust statistics.

ORFE Professor Bartolomeo Stellato has received a Princeton AI Seed Grant for the project “Accelerating Space Exploration with AI.” In collaboration with MAE Professor Ryne Beeson, the project explores advanced AI techniques, such as diffusion models and reinforcement learning, to accelerate the computation of optimal spacecraft trajectories.