SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection
No ratings
Presented at IEEE S&P 2026 by
This entry could use some 💚... Consider signing-up and making an edit request to fix this!
This entry could use some 💚... Consider signing-up and making an edit request to fix this!