publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
    Yizhak Y. Elboher, Reuven Peleg, Zhouxing Shi, and 2 more authors
    2026