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
23 items
Rebalancing Token Importance in Language Models with TF-IDF Weighted Cross-Entropy Loss
2026
Cited
0
STILL: Recovering Lowered STL Semantics for LLM-assisted C++ Decompilation
2026
Cited
0
GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation
2026
Cited
0
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
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
