Paul He
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EACL | Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification. | Paul He, Yinya Huang, Mrinmaya Sachan, Zhijing Jin |
| 2026 | ITiCSE | The Process of Collaboratively Creating a Global Computing Education Terminology Resource with GenAI-in-the-Loop. | Amruth N. Kumar, Michael J. Oudshoorn, Mohammed Seyam, Mor Friebroon Yesharim, Rukiye Altin, Leonard Peter Binamungu, Karen L. Bradshaw, Carlos Cabrera, Nils Dyck, Malayam Parambath Gilesh, Paul He, Andreea Molnar, Jonathan Mwaura, Liviana Tudor |
| 2026 | ITiCSE | Effects of Mastery-Inspired Checkpoint Quizzes in a Large Introductory CS Course: A Mixed Methods Study. | Sadia Sharmin, Paul He |
| 2025 | NAACL | Pointwise Mutual Information as a Performance Gauge for Retrieval-Augmented Generation. | Tianyu Liu, Jirui Qi, Paul He, Arianna Bisazza, Mrinmaya Sachan, Ryan Cotterell |
| 2023 | ECOOP | Semantics for Noninterference with Interaction Trees. | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
| 2020 | CPP | An equational theory for weak bisimulation via generalized parameterized coinduction. | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |