Search Results - Mitchell, Jacqueline

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification by Mitchell, Jacqueline, Shaaban, Yasser

    Published 2025
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis by Mitchell, Jacqueline L., Wang, Chao

    Published 2026
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Analyzing Fairness of Neural Network Prediction via Counterfactual Dataset Generation by Kim, Brian Hyeongseok, Mitchell, Jacqueline L., Wang, Chao

    Published 2026
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    Architecture-Preserving Provable Repair of Deep Neural Networks by Tao, Zhe, Nawas, Stephanie, Mitchell, Jacqueline, Thakur, Aditya V.

    Published 2023
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters by Mitchell, Jacqueline L., Kim, Brian Hyeongseok, Zhou, Chenyu, Wang, Chao

    Published 2025
    Get full text
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: