166 citations · 587 across the 57 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Viverra: Text-to-Code with Guarantees
Haoze Wu, Rocky Klopfenstein, Keith Farkas +1
A fundamental limitation of Text-to-Code is that no guarantee can be obtained about the correctness of the generated code. Therefore, to ensure its correctness, the generated code…
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,…