Publications

    C. E. Freer

  • C. E. Freer, V. K. Mansinghka, D. M. Roy:
    When are probabilistic programs probably computationally tractable? (pdf) (bibtex)
    NIPS Workshop on Monte Carlo Methods for Modern Applications
    #probabilistic programming
    @article{C.E.Freer:2010:f8bd8,
    author = {C. E. Freer and V. K. Mansinghka and D. M. Roy},
    journal = {NIPS Workshop on Monte Carlo Methods for Modern Applications},
    title = {When are probabilistic programs probably computationally tractable? },
    year = {2010},
    keywords = {probabilistic programming},
    doi = {},
    url = {http://danroy.org/papers/FreerManRoy-NIPSMC-2010.pdf}
    }
  • C. E. Freer, D. M. Roy, J. B. Tenenbaum:
    Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence (web) (bibtex)
    Turing’s Legacy (ASL Lecture Notes in Logic)
    #probabilistic programming, #artificial intelligence, #reasoning, #decision making, #structure learning
    @article{C.E.Freer:2012:ed3e0,
    author = {C. E. Freer and D. M. Roy and J. B. Tenenbaum},
    journal = {Turing’s Legacy (ASL Lecture Notes in Logic)},
    title = {Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence},
    year = {2012},
    keywords = {probabilistic programming, artificial intelligence, reasoning, decision making, structure learning},
    doi = {},
    url = {http://arxiv.org/abs/1212.4799}
    }
  • C. E. Freer, D. M. Roy:
    Computable exchangeable sequences have computable de Finetti measures (pdf) (doi) (bibtex)
    Computability in Europe (CiE)
    #de finetti, #exchangeability, #computable probability theory, #probabilistic programming, #mutation
    @article{C.E.Freer:2009:e8caa,
    author = {C. E. Freer and D. M. Roy},
    journal = {Computability in Europe (CiE)},
    title = {Computable exchangeable sequences have computable de Finetti measures},
    year = {2009},
    keywords = {de finetti, exchangeability, computable probability theory, probabilistic programming, mutation},
    doi = {10.1007/978-3-642-03073-4_23},
    url = {http://danroy.org/papers/FreerRoy-CIE-2009.pdf}
    }

add/edit publications