15 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.SE2025★ 6 cited
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
Jacqueline Mitchell, Yasser Shaaban
``Vibe coding'' -- the practice of developing software through iteratively conversing with a large language model (LLM) -- has exploded in popularity within the last year. However,…
cs.LG2023★ 15 cited
Architecture-Preserving Provable Repair of Deep Neural Networks
Zhe Tao, Stephanie Nawas, Jacqueline Mitchell +1
Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image rec…