(Algorithm 1). Then, we propose another strategy (Algorithm 2) to solve FSPCA for the general covariance by iteratively building a carefully designed proxy.

Our setup is further extended to hybrid logical-neural constraints for capturing very complexconstraints,likegraphreachability.

AI models are increasingly prevalent in high-stakes environments, necessitating1 thorough assessment oftheir capabilities and risks.