We found the following 3 published projects which all share the keyword problem in their description.

Title
Diamond
Efficient Robustness Analysis of Deep Neural Networks
Sparse Probabilistic Richardson Extrapolation Algorithmic Design