@Article{Atkinson2018,
author = {Atkinson, Eric and Yang, Cambridge and Carbin, Michael}, 
title = {Verifying Handcoded Probabilistic Inference Procedures}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {2018}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"ekpKC5wDfkXKvh9jc","bibbaseid":"atkinson-yang-carbin-verifyinghandcodedprobabilisticinferenceprocedures-2018","authorIDs":[],"author_short":["Atkinson, E.","Yang, C.","Carbin, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Atkinson"],"firstnames":["Eric"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Cambridge"],"suffixes":[]},{"propositions":[],"lastnames":["Carbin"],"firstnames":["Michael"],"suffixes":[]}],"title":"Verifying Handcoded Probabilistic Inference Procedures","journal":"","volume":"","number":"","pages":"","year":"2018","abstract":"","location":"","keywords":"","bibtex":"@Article{Atkinson2018,\nauthor = {Atkinson, Eric and Yang, Cambridge and Carbin, Michael}, \ntitle = {Verifying Handcoded Probabilistic Inference Procedures}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2018}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Atkinson, E.","Yang, C.","Carbin, M."],"key":"Atkinson2018","id":"Atkinson2018","bibbaseid":"atkinson-yang-carbin-verifyinghandcodedprobabilisticinferenceprocedures-2018","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:33.891Z","downloads":0,"keywords":[],"search_terms":["verifying","handcoded","probabilistic","inference","procedures","atkinson","yang","carbin"],"title":"Verifying Handcoded Probabilistic Inference Procedures","year":2018,"dataSources":["hEoKh4ygEAWbAZ5iy"]}