Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Signature filtering: a lightweight enhancement for statistical watermark detection in large language models
Chih-Duo Hong, Yen-Pang Chen, Fang Yu
Statistical watermarks help organizations attribute large language model (LLM) outputs, yet existing detectors often struggle when watermark signals are weak, texts are repetitive,…
cs.LG2026
Robustness Verification of Recurrent Neural Networks with Abstraction Refinement
Li-Jen Lin, Chih-Duo Hong
Certified local robustness verification for recurrent neural networks (RNNs) is challenging because approximation errors introduced by nonlinear relaxations can propagate through r…
cs.LG2025
Concolic Testing on Individual Fairness of Neural Network Models
Ming-I Huang, Chih-Duo Hong, Fang Yu
This paper introduces PyFair, a formal framework for evaluating and verifying individual fairness of Deep Neural Networks (DNNs). By adapting the concolic testing tool PyCT, we gen…