skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Yang, Hongseok remover Lista de Todas as Versões ROAD: Directory of Open Access Scholarly Resources remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards verified stochastic variational inference for probabilistic programs
Towards verified stochastic variational inference for probabilistic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards verified stochastic variational inference for probabilistic programs

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier ; Yang, Hongseok

Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-33 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
2
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets

Ackerman, Nathanael L ; Freer, Cameron E ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean K ; Roy, Daniel M ; Staton, Sam ; Yang, Hongseok

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets

Ackerman, Nate ; Freer, Cameron E. ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean ; Roy, Daniel ; Staton, Sam ; Yang, Hongseok

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1819-1849, Article 61 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
An Introduction to Probabilistic Programming
An Introduction to Probabilistic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Introduction to Probabilistic Programming

Jan-Willem van de Meent ; Brooks, Paige ; Yang, Hongseok ; Wood, Frank

arXiv.org, 2021-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Automatically generating features for learning program analysis heuristics for C-like languages
Automatically generating features for learning program analysis heuristics for C-like languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatically generating features for learning program analysis heuristics for C-like languages

Chae, Kwonsoo ; Oh, Hakjoo ; Heo, Kihong ; Yang, Hongseok

Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-25 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
6
Design and Implementation of Probabilistic Programming Language Anglican
Design and Implementation of Probabilistic Programming Language Anglican
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design and Implementation of Probabilistic Programming Language Anglican

Tolpin, David ; Jan Willem van de Meent ; Yang, Hongseok ; Wood, Frank

arXiv.org, 2016-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models
LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models

Zhou, Yuan ; Gram-Hansen, Bradley J ; Kohn, Tobias ; Rainforth, Tom ; Yang, Hongseok ; Wood, Frank

arXiv.org, 2019-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Material Type:
Artigo 		Adicionar ao Meu Espaço

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

Lee, Wonyeol ; Rival, Xavier ; Yang, Hongseok

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.335-366, Article 12 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Probabilistic Programs with Stochastic Conditioning
Probabilistic Programs with Stochastic Conditioning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Programs with Stochastic Conditioning

Tolpin, David ; Zhou, Yuan ; Rainforth, Tom ; Yang, Hongseok

arXiv.org, 2021-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Towards Verified Stochastic Variational Inference for Probabilistic Programs
Towards Verified Stochastic Variational Inference for Probabilistic Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier ; Yang, Hongseok

arXiv.org, 2019-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (8)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.