STL: Surprisingly Tricky Logic (for System Validation)

26 May 2023

Makai Mann

Papers citing "STL: Surprisingly Tricky Logic (for System Validation)"

3 / 3 papers shown

Title
Military AI Needs Technically-Informed Regulation to Safeguard AI Research and its Applications Riley Simmons-Edler Jean Dong Paul Lushenko K. Rajan R. Badman 71 0 0 23 May 2025
Fewer Than 1% of Explainable AI Papers Validate Explainability with Humans Ashley Suh Isabelle Hurley Nora Smith H. Siu 91 3 0 13 Mar 2025
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) Isabelle Hurley Rohan R. Paleja Ashley Suh Jaime D. Peña H. Siu 95 5 0 02 Jul 2024