Puming Liu
Identifiers
- name variant Puming Liu 0.60 · backfill
Papers (1)
- Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic cs.LO · 2026 · author #2
Mentions
- 2605.13526 #2 · arxiv_oai · confidence 0.70 Puming Liu
Frequent Coauthors
- Alejandro Aguirre 1 shared papers
- Joseph Tassarotti 1 shared papers
- Kwing Hei Li 1 shared papers
- Lars Birkedal 1 shared papers
- Markus de Medeiros 1 shared papers