3 papers indexed
Bonan Shen, Wei-Jung Huang, Xin Liu, Jiazhou Gao, Tao Ning
Existing methods for testing deep neural networks (DNNs) primarily prioritize test inputs likely to reveal model faults under a fixed labeling budget. In practice, choosing that budget is difficult: too little testing misses failures, while too much incurs unnecessary labeling co…
Bonan Shen, Jiazhou Gao, Tao Ning, Wei-Jung Huang, Xin Liu
CI/CD workflows have become executable operational policy: they decide what gets built, tested, released, and deployed, and they mediate how maintainers interact with delivery infrastructure. That makes them an important measurement point for cyber-systems engineering. Recent lar…
Bonan Shen, Dingyan Shang, Youting Wang, Tao Ning, Bowen Liu
Large language model (LLM) tutors may have access to teacher notes, answer keys, rubrics, or retrieved solutions while producing student-facing explanations. We study whether truncated reasoning probes can distinguish direct access to such private context from answer information…