Zhiwu Xu

Papers that credit Zhiwu Xu in their source bylines. Matching names may refer to different researchers.

1 results

1. PaperSoftware & Code

   Verifier acceptance can miss weak generated contracts

   In the study, only 42.3% of accepted contracts cleared checks for vacuity, test cases and reference agreement.

   Added to Chiosa Oct 20, 2026