Paul He
Scholar

Paul He

Google Scholar ID: PKep7rYAAAAJ
University of Toronto
Computer science educationprogramming languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
408
 
H-index
7
 
i10-index
7
 
Publications
10
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
3 items
Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification
2026
Cited
0
Foundations of Global Consistency Checking with Noisy LLM Oracles
2026
Cited
0
Pointwise Mutual Information as a Performance Gauge for Retrieval-Augmented Generation
2024
Cited
0
Resume (English only)
Co-authors
17 total
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Co-author 5
Co-author 5
Gregory Malecha
Gregory Malecha
BedRock Systems, Inc
Vijay Ganesh
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Florin Manea
Florin Manea
University of Göttingen