◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Shing Hin Ho

1 paper hereh-index 15 citations2 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1

Across the 1 of 1 paper where every author was matched, so the position is known.

fields
  • cs.PL1

identity via Semantic Scholar / OpenAlex

collaborators

1 paper

cs.PL2025

Bayesian Separation Logic

Shing Hin Ho, Nicolas Wu, Azalea Raad

Bayesian probabilistic programming languages (BPPLs) let users denote statistical models as code while the interpreter infers the posterior distribution. The semantics of BPPLs are…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.