Henry Kautz
Scholar

Henry Kautz

Google Scholar ID: WxQyOYQAAAAJ
Professor Emeritus of Computer Science, University of Rochester
artificial intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
37,376
 
H-index
84
 
i10-index
182
 
Publications
20
 
Co-authors
60
list available
Contact
No contact links provided.
Publications
5 items
ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving
2026
Cited
0
Not All Nudges Land: Behavioral Controllability and Elaboration Quality in AI-Supported Journaling
2026
Cited
0
A Sober Look at Agentic Misalignment in Automated Workflows
2026
Cited
0
The Structure and Dynamics of the Online MAHA-sphere
2026
Cited
0
Hiding in Plain Sight: Finding MAHA on Reddit
2026
Cited
0
Resume (English only)
Co-authors
60 total
Bart Selman
Bart Selman
Professor of Computer Science, Cornell University
Dieter Fox
Dieter Fox
University of Washington and AI2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Paul Beame
Paul Beame
Professor of Computer Science and Engineering, University of Washington