Cameron E. Freer

Identifiers

• name variant Cameron E. Freer 0.60 · backfill

Papers (7)

1. Characterizing initial human-AI proof formalization workflows cs.AI · 2026 · author #15
2. A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions math.ST · 2019 · author #2
3. The Beta-Bernoulli process and algebraic effects cs.PL · 2018 · author #5
4. On the computability of graphons math.LO · 2018 · author #3
5. On computability and disintegration math.LO · 2015 · author #2
6. Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence cs.AI · 2012 · author #1
7. Computable de Finetti measures math.LO · 2009 · author #1

Mentions

• 1509.02992 #2 · backfill · confidence 0.70 Cameron E. Freer
• 2606.04273 #15 · arxiv_oai · confidence 0.70 Cameron E. Freer
• 1212.4799 #1 · backfill · confidence 0.70 Cameron E. Freer
• 0912.1072 #1 · backfill · confidence 0.70 Cameron E. Freer

Frequent Coauthors

• Daniel M. Roy 5 shared papers
• Nathanael L. Ackerman 4 shared papers
• Joshua B. Tenenbaum 2 shared papers
• Adrian Weller 1 shared papers
• Dario Stein 1 shared papers
• Fabian Zaiser 1 shared papers
• Feras A. Saad 1 shared papers
• Hongseok Yang 1 shared papers
• Ilia Sucholutsky 1 shared papers
• Jacob Loader 1 shared papers
• Jason M. Rute 1 shared papers
• Jeck Lim 1 shared papers
• Jeremy Avigad 1 shared papers
• Jonas Bayer 1 shared papers
• Jose Hernandez-Orallo 1 shared papers
• Katherine M. Collins 1 shared papers
• Lexin Zhou 1 shared papers
• Peiyang Song 1 shared papers
• Sam Looi 1 shared papers
• Sam Staton 1 shared papers