BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hongseok Yang
SearchCollections
Map detail
Hongseok Yang13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHongseok YangAHongseok YangResearcherDivide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic SupportWDivide, Conquer, and Co...preprint / 2020Particle Gibbs with Ancestor Sampling for Probabilistic ProgramsWParticle Gibbs with Anc...preprint / 2015Relational Parametricity and Separation LogicWRelational Parametricit...preprint / 2008Linearizability with Ownership TransferWLinearizability with Ow...preprint / 2013Abstraction Refinement Guided by a Learnt Probabilistic ModelWAbstraction Refinement ...preprint / 2015Scale Mixtures of Neural Network Gaussian ProcessesWScale Mixtures of Neura...preprint / 2022Stochastically Differentiable Probabilistic ProgramsWStochastically Differen...preprint / 2020Two for the Price of One: Lifting Separation Logic AssertionsWTwo for the Price of On...preprint / 2012Design and Implementation of Probabilistic Programming Language AnglicanWDesign and Implementati...preprint / 2016On the Pitfalls of Nested Monte CarloWOn the Pitfalls of Nest...preprint / 2016Probabilistic Programs with Stochastic ConditioningWProbabilistic Programs ...preprint / 2021A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic GraphsWA Generalization of Hie...preprint / 2020
Person12 links

Hongseok Yang

Researcher

PaperDivide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic SupportAuthorship / preprint / 2020PaperParticle Gibbs with Ancestor Sampling for Probabilistic ProgramsAuthorship / preprint / 2015PaperRelational Parametricity and Separation LogicAuthorship / preprint / 2008PaperLinearizability with Ownership TransferAuthorship / preprint / 2013PaperAbstraction Refinement Guided by a Learnt Probabilistic ModelAuthorship / preprint / 2015PaperScale Mixtures of Neural Network Gaussian ProcessesAuthorship / preprint / 2022PaperStochastically Differentiable Probabilistic ProgramsAuthorship / preprint / 2020PaperTwo for the Price of One: Lifting Separation Logic AssertionsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)