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
Publications
7 items
LabBook: Harnessing Experimental History for Efficient LLM-Driven Discovery
2026
Cited
0
Cyber Exodus: Burnout Symptoms, Exit Intention, and Peer Response in Online Cybersecurity Communities
2026
Cited
0
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
Co-authors
9 total
Bart Selman
Bart Selman
Professor of Computer Science, Cornell University
Dieter Fox
Dieter Fox
University of Washington and AI2
Paul Beame
Paul Beame
Professor of Computer Science and Engineering, University of Washington
David McAllester
David McAllester
Professor, Toyota Technological Institute at Chicago
Eric Horvitz
Eric Horvitz
Microsoft
Jeffrey P. Bigham
Jeffrey P. Bigham
Carnegie Mellon University & Apple
Ashish Sabharwal
Ashish Sabharwal
Allen Institute for AI (AI2)
Parag Singla
Parag Singla
Indian Institute of Technology Delhi