Scholar
Kevin Leach
Google Scholar ID: 7nSw4Q8AAAAJ
Vanderbilt University
Artificial Intelligence
Software Engineering
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,860
H-index
21
i10-index
38
Publications
20
Co-authors
2
list available
Contact
CV
Open ↗
Publications
20 items
SCOPE: Leveraging Subgoal Critiques for Code Generation
2026
Cited
0
Revising RVL-CDIP: Quantifying Errors and Test-Train Overlap
2026
Cited
0
VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
2026
Cited
0
Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
2026
Cited
0
SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
2026
Cited
0
EyeLayer: Integrating Human Attention Patterns into LLM-Based Code Summarization
2026
Cited
0
Do Hackers Dream of Electric Teachers?: A Large-Scale, In-Situ Evaluation of Cybersecurity Student Behaviors and Performance with AI Tutors
2026
Cited
0
SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities
2025
Cited
0
Load more
Resume (English only)
Co-authors
2 total
Fengwei Zhang
Associate Professor, Southern University of Science and Technology
Angelos Stavrou
Professor at Virginia Tech
