Corina Pasareanu

Latest

• Concept-based Analysis of Neural Networks via Vision-Language Models