Paul He

Identifiers

• name variant Paul He 0.60 · backfill

Papers (3)

1. Measuring Semantic Progress in Multi-turn Dialogue via Information Gain cs.CL · 2026 · author #1
2. The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability cs.LO · 2018 · author #3
3. A Simple Soundness Proof for Dependent Object Types cs.PL · 2017 · author #3

Mentions

• 2606.12332 #1 · arxiv_oai · confidence 0.70 Paul He

Frequent Coauthors

• Dirk Nowotka 1 shared papers
• Dominik Janzing 1 shared papers
• Florin Manea 1 shared papers
• Ifaz Kabir 1 shared papers
• Joel Day 1 shared papers
• Marianna Rapoport 1 shared papers
• Ond\v{r}ej Lhot\'ak 1 shared papers
• Shiva Kasiviswanathan 1 shared papers
• Vijay Ganesh 1 shared papers