Scholar
Joe Hendrix
Google Scholar ID: Z5Q30qYAAAAJ
SRI International
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
511
H-index
12
i10-index
13
Publications
20
Co-authors
0
Publications
2 items
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Cited
0
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
arXiv.org · 2024
Cited
0
