6 citations · 11 across the 15 of their papers we have counts for
6 papers · 1 filter
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
Haoze Wu, André Schidler, Armin Biere +1
Modern SAT solvers combine a rich repertoire of proof rules with sophisticated strategies that determine when and how to apply them. Often, the internal implementations are tightly…
An AI Approach to Verified Production Cryptographic Libraries
Chuyue Sun, Su Fong, Zhiyi Kuang +5
Cryptographic code is critical infrastructure that must be correct, yet formally verifying production libraries remains difficult. Existing language-model proof systems solve isola…
Enhancing and Reporting Robustness Boundary of Neural Code Models for Intelligent Code Understanding
Tingxu Han, Wei Song, Weisong Sun +6
With the development of deep learning, Neural Code Models (NCMs) such as CodeBERT and CodeLlama are widely used for code understanding tasks, including defect detection and code cl…
Incremental Neural Network Verification via Learned Conflicts
Raya Elsaleh, Liam Davis, Haoze Wu +1
Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…
The Luna Bound Propagator for Formal Analysis of Neural Networks
Henry LeCates, Haoze Wu
The parameterized CROWN analysis, a.k.a., alpha-CROWN has emerged as a practically successful abstract interpretation method for neural network verification. However, existing impl…
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2
The synthesis of inductive loop invariants remains a critical bottleneck in automated program verification. While Large Language Models (LLMs) show promise in mitigating this issue…