Peña, Jaime D.

1 publications

NeurIPS 2024 STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) Isabelle Hurley, Rohan Paleja, Ashley Suh, Jaime D. Peña, Ho Chit Siu