TY  - RPRT
TI  - STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
AU  - Isabelle Hurley
AU  - Rohan Paleja
AU  - Ashley Suh
AU  - Jaime D. Peña
AU  - Ho Chit Siu
PY  - 2024
UR  - https://arxiv.org/abs/2407.02632
ID  - 2407.02632
ER  -