We have 4 of 206 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This experience paper introduces a property-based testing approach for WHRs, finding 21 previously unknown bugs, including axis limit violations, entanglement issues, and missing interlock checks, and distilled a number of practical lessons learned.
It is revealed that contexts with stronger semantic-shift capabilities are more likely to guide models toward recovering harmful meanings and achieving successful jailbreaks, and a black-box context-aware semantic-shift jailbreak framework with Iterative Context Optimization is proposed.
C2Btor, a method for encoding verification tasks into BTOR2 models that allows C program verification to benefit from advances in hardware model-checking backends, expanding the available capability for counterexample search, inductive safety proving, and word-level transition-system reasoning.
Deep learning (DL) compilers such as Apache TVM translate high-level models into optimized low-level code through multi-stage compilation pipelines. While recent testing efforts have improved fuzzing of optimization stages, they still face two key challenges: (i) the lack of semantics-preserving test models, leading to...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
