 |
 Enhancing SMT-based Weighted Model Integration by Structure AwarenessArtificial Intelligence (AIJ), 2023 |
 Randomized geometric tools for anomaly detection in stock marketsInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2022 |
 Sampling with Riemannian Hamiltonian Monte Carlo in a Constrained SpaceNeural Information Processing Systems (NeurIPS), 2022 |
 ProbRobScene: A Probabilistic Specification Language for 3D Robotic
Manipulation EnvironmentsIEEE International Conference on Robotics and Automation (ICRA), 2020 |
