Cameron E. Freer

Most-cited papers

Noncomputable Conditional Distributions
N. Ackerman, Cameron E. Freer, Daniel M. Roy
20112011 IEEE 26th Annual Symposium on Logic in Computer Science62 citations
Semantic Scholar
Computable de Finetti measures
Cameron E. Freer, Daniel M. Roy
2009Annals of Pure and Applied Logic37 citations Open access
Semantic Scholar
Algorithmic Aspects of Lipschitz Functions
Cameron E. Freer, B. Kjos-Hanssen, A. Nies, F. Stephan
2014De Computis29 citations Open access
Semantic Scholar
On the Computability of Conditional Probability
N. Ackerman, Cameron E. Freer, Daniel M. Roy
2010Journal of the ACM25 citations Open access
Semantic Scholar
The Beta-Bernoulli process and algebraic effects
S. Staton, Dario Stein, Hongseok Yang, N. Ackerman +2 more
2018International Colloquium on Automata, Languages and Programming23 citations
Semantic Scholar
On computability and disintegration
N. Ackerman, Cameron E. Freer, Daniel M. Roy
2015Mathematical Structures in Computer Science23 citations Open access
Semantic Scholar
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Cameron E. Freer, Daniel M. Roy, J. Tenenbaum
2012Turing's Legacy23 citations Open access
Semantic Scholar
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
Feras A. Saad, Cameron E. Freer, M. Rinard, Vikash K. Mansinghka
2020International Conference on Artificial Intelligence and Statistics18 citations
Semantic Scholar
Computable Exchangeable Sequences Have Computable de Finetti Measures
Cameron E. Freer, Daniel M. Roy
2009Conference on Computability in Europe18 citations
Semantic Scholar
Posterior distributions are computable from predictive distributions
Cameron E. Freer, Daniel M. Roy
2010International Conference on Artificial Intelligence and Statistics17 citations
Semantic Scholar
Optimal approximate sampling from discrete probability distributions
Feras A. Saad, Cameron E. Freer, M. Rinard, Vikash K. Mansinghka
2019Proc. ACM Program. Lang.11 citations Open access
Semantic Scholar
Graph Turing Machines
N. Ackerman, Cameron E. Freer
2017Workshop on Logic, Language, Information and Computation11 citations
Semantic Scholar
Recovering randomness from an asymptotic Hamming distance
Cameron E. Freer, Bjoern Kjos-Hanssen, K. Weihrauch
2010Log. Methods Comput. Sci.9 citations Open access
Semantic Scholar
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle +5 more
2024Proc. ACM Program. Lang.8 citations Open access
Semantic Scholar
EXCHANGEABLE RANDOM PRIMITIVES
L. Ackerman, Cameron E. Freer, Daniel M. Roy
20158 citations
Semantic Scholar
Models with high Scott rank
Cameron E. Freer
20088 citations
Semantic Scholar
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Nate Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski +4 more
2023Proc. ACM Program. Lang.7 citations Open access
Semantic Scholar
A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions
Feras A. Saad, Cameron E. Freer, N. Ackerman, Vikash K. Mansinghka
2019International Conference on Artificial Intelligence and Statistics7 citations
Semantic Scholar
Feedback Turing Computability, and Turing Computability as Feedback
N. Ackerman, Cameron E. Freer, Robert S. Lubarsky
20152015 30th Annual ACM/IEEE Symposium on Logic in Computer Science6 citations
Semantic Scholar
An introduction to feedback Turing computability
N. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2020Journal of Logic and Computation5 citations
Semantic Scholar
On the computability of graphons
N. Ackerman, J. Avigad, Cameron E. Freer, Daniel M. Roy +1 more
2018arXiv.org5 citations
Semantic Scholar
Algorithmic barriers to representing conditional independence
N. Ackerman, J. Avigad, Cameron E. Freer, Daniel M. Roy +1 more
2019Logic in Computer Science4 citations
Semantic Scholar
ON COMPUTABLE REPRESENTATIONS OF EXCHANGEABLE DATA
N. Ackerman, J. Avigad, Cameron E. Freer, Daniel M. Roy +1 more
20164 citations
Semantic Scholar
Exchangeable Random Processes and Data Abstraction Extended
S. Staton, Hongseok Yang, N. Ackerman, Cameron E. Freer +1 more
20163 citations
Semantic Scholar
A Notion of a Computational Step for Partial Combinatory Algebras
N. Ackerman, Cameron E. Freer
2013Theory and Applications of Models of Computation2 citations
Semantic Scholar
Computability of Algebraic and Definable Closure
N. Ackerman, Cameron E. Freer, Rehana Patel
2020Symposium on Logical Foundations of Computer Science1 citations
Semantic Scholar
Feedback computability on Cantor space
N. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2017Log. Methods Comput. Sci.1 citations Open access
Semantic Scholar
Three Roads to de Finetti’s Theorem in Lean 4
Cameron E. Freer, M. Barba, Fabian Zaiser, Katherine Collins +5 more
1 citations
Semantic Scholar
Human agency in initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer, Jacob Loader +13 more
20260 citations
Semantic Scholar
Three Roads to de Finetti's Theorem in Lean 4 (Short Paper)
Cameron E. Freer
2026International Conference on Interactive Theorem Proving0 citations
Semantic Scholar
Characterizing initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer, Jacob Loader +13 more
2026arXiv.org0 citations
Semantic Scholar
On computable aspects of algebraic and definable closure
N. Ackerman, Cameron E. Freer, Rehana Patel
2020Journal of Logic and Computation0 citations Open access
Semantic Scholar
Sampling Algorithms and Experiments for
Feras A. Saad, Cameron E. Freer, M. Rinard, Vikash K. Mansinghka
20190 citations
Semantic Scholar
Goodness-ofFit Tests for High-Dimensional Discrete Distributions with Application to Convergence Diagnostics in Approximate Bayesian Inference
Feras A. Saad, Cameron E. Freer, N. Ackerman, Vikash K. Mansinghka
20180 citations
Semantic Scholar
On the computability of graph Turing machines
N. Ackerman, Cameron E. Freer
2017arXiv.org0 citations
Semantic Scholar
#P-COMPLETE CONDITIONAL DISTRIBUTIONS
Cameron E. Freer
20110 citations
Semantic Scholar
Computable exchangeable sequences have computable de Finetti measures
Cameron E. Freer, D. Roy
20090 citations
Semantic Scholar
Models with High Scott Rank A dissertation presented
Cameron E. Freer
20080 citations
Semantic Scholar
University of Birmingham Probabilistic Programming Interfaces for Random Graphs:
Nate Ackerman, Cameron E. Freer, Jacek Karwowski, Sean K. Moss +5 more
0 citations
Semantic Scholar
MIT Open
Mathieu Huot, Alexander K. Lew, Cameron E. Freer, Martin C. Rinard +6 more
0 citations
Semantic Scholar