Zhuo Zhang

Neurosymbolic code auditing

Code auditing examines whether an implementation satisfies target properties such as reliability, security, performance, and design intent. Classical static analysis provides rigorous foundations for automated auditing, but it remains difficult to apply broadly in real-world soft...