◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Steven Holtzen

15 papers hereh-index 12372 citations23 works total

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

author position
  • first author5
  • middle author5
  • last author5

Across the 15 of 15 papers where every author was matched, so the position is known.

fields
  • cs.PL6
  • cs.AI5
  • cs.CR1
  • cs.LO1
  • cs.SE1
  • quant-ph1
same name
  • Steven Holtzen — 2 papers, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20172025
most citedBit Blasting Probabilistic Programs

9 citations · 23 across the 12 of their papers we have counts for

collaborators
Showing 2020 · cs.PLShow all

1 paper · 2 filters

cs.PL2020

Scaling Exact Inference for Discrete Probabilistic Programs

Steven Holtzen, Guy Van den Broeck, Todd Millstein

Probabilistic programming languages (PPLs) are an expressive means of representing and reasoning about probabilistic models. The computational challenge of probabilistic inference…

◍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.