ML Anthology
Authors
Search
About
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