STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) - Hurley, Isabelle; Paleja, Rohan; Suh, Ashley; Peña, Jaime D.; Siu, Ho Chit (Advances in Neural Information Processing Systems, 2024)