Puming Liu

Identifiers

• name variant Puming Liu 0.60 · backfill

Papers (1)

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