Publications


    C. E. Freer

      When are probabilistic programs probably computationally tractable? (pdf) (bibtex)


      C. E. Freer, V. K. Mansinghka, D. M. Roy:
      NIPS Workshop on Monte Carlo Methods for Modern Applications
      #probabilistic programming

      Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence (web) (bibtex)


      C. E. Freer, D. M. Roy, J. B. Tenenbaum:
      Turing's Legacy (ASL Lecture Notes in Logic)
      #probabilistic programming, #artificial intelligence, #reasoning, #decision making, #structure learning

      Computable exchangeable sequences have computable de Finetti measures (pdf) (doi) (bibtex)


      C. E. Freer, D. M. Roy:
      Computability in Europe (CiE)
      #de finetti, #exchangeability, #computable probability theory, #probabilistic programming, #mutation

add/edit publications