E-LIB Suche - Ergebnisse für: Cusumano-Towner, Marco F.

1

Gen: a general-purpose probabilistic programming system wit..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Cusumano-Towner, Marco F. ; Saad, Feras A. ; Lew, Alexander K.. - p. 221-236 , 2019

2

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A. ; Cusumano-Towner, Marco F. ; Schaechtle, Ulrich..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

Link: https://dl.acm.org/doi/1..

3

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A. ; Cusumano-Towner, Marco F. ; Schaechtle, Ulrich..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-32 , 2019

Link: https://doi.org/10.1145/..

4

Trace types and denotational semantics for sound programmab..:

Lew, Alexander K. ; Cusumano-Towner, Marco F. ; Sherman, Benjamin..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

Link: https://doi.org/10.1145/..

5

Trace types and denotational semantics for sound programmab..:

Lew, Alexander K. ; Cusumano-Towner, Marco F. ; Sherman, Benjamin..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

Link: https://dl.acm.org/doi/1..

6

Bayesian synthesis of probabilistic programs for automatic ..:

Saad, Feras A ; Cusumano-Towner, Marco F ; Schaechtle, Ulrich..
10.1145/3290350. , 2021

Link: https://hdl.handle.net/1..

7

Trace types and denotational semantics for sound programmab..:

Lew, Alexander ; Cusumano-Towner, Marco F ; Sherman, Benjamin..
10.1145/3371087. , 2020

Link: https://hdl.handle.net/1..

8

Bayesian Synthesis of Probabilistic Programs for Automatic ..:

Saad, Feras A ; Cusumano-Towner, Marco F ; Schaechtle, Ulrich..
http://arxiv.org/abs/1907.06249. , 2019

Link: http://arxiv.org/abs/190..

9

Using probabilistic programs as proposals:

Cusumano-Towner, Marco F ; Mansinghka, Vikash K
http://arxiv.org/abs/1801.03612. , 2018

Link: http://arxiv.org/abs/180..

10

Probabilistic programs for inferring the goals of autonomou..:

Cusumano-Towner, Marco F ; Radul, Alexey ; Wingate, David.
http://arxiv.org/abs/1704.04977. , 2017

Link: http://arxiv.org/abs/170..

11

AIDE: An algorithm for measuring the accuracy of probabilis..:

Cusumano-Towner, Marco F ; Mansinghka, Vikash K
http://arxiv.org/abs/1705.07224. , 2017

Link: http://arxiv.org/abs/170..

12

Measuring the non-asymptotic convergence of sequential Mont..:

Cusumano-Towner, Marco F ; Mansinghka, Vikash K
http://arxiv.org/abs/1612.02161. , 2016

Link: http://arxiv.org/abs/161..

13

Quantifying the probable approximation error of probabilist..:

Cusumano-Towner, Marco F ; Mansinghka, Vikash K
http://arxiv.org/abs/1606.00068. , 2016

Link: http://arxiv.org/abs/160..

14

Encapsulating models and approximate inference programs in ..:

Cusumano-Towner, Marco F ; Mansinghka, Vikash K
http://arxiv.org/abs/1612.04759. , 2016

Link: http://arxiv.org/abs/161..

15

Bringing Clothing into Desired Configurations with Limited ..:

Cusumano-Towner, Marco ; Singh, Arjun ; Miller, Stephen..
qt56k3j5pz. , 2011

Link: https://escholarship.org..