3 papers
cs.LG2025
Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
Jacob K. Christopher, Michael Cardei, Jinhao Liang +1
Despite the remarkable generative capabilities of diffusion models, their integration into safety-critical or scientifically rigorous applications remains hindered by the need to e…
cs.RO2024
Multi-Agent Path Finding in Continuous Spaces with Projected Diffusion Models
Jinhao Liang, Jacob K. Christopher, Sven Koenig +1
Multi-Agent Path Finding (MAPF) is a fundamental problem in robotics, requiring the computation of collision-free paths for multiple agents moving from their respective start to go…
cs.LG2023
Analyzing and Enhancing the Backward-Pass Convergence of Unrolled Optimization
James Kotary, Jacob Christopher, My H Dinh +1
The integration of constrained optimization models as components in deep networks has led to promising advances on many specialized learning tasks. A central challenge in this sett…