3 papers
cs.SE2025
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu +3
Debugging of Deep Neural Networks (DNNs), particularly vision models, is very challenging due to the complex and opaque decision-making processes in these networks. In this paper,…
cs.SE2024
A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
Sinclair Hudson, Sophia Jit, Boyue Caroline Hu +1
Large Language Models (LLMs) are rapidly becoming ubiquitous both as stand-alone tools and as components of current and future software systems. To enable usage of LLMs in the high…
cs.LG2024
Concept-based Analysis of Neural Networks via Vision-Language Models
Ravi Mangal, Nina Narodytska, Divya Gopinath +4
The analysis of vision-based deep neural networks (DNNs) is highly desirable but it is very challenging due to the difficulty of expressing formal specifications for vision tasks a…