| Publication | Date of Publication | Type |
|---|
Algorithmic barriers to representing conditional independence
| 2024-12-19 | Paper |
Computable PAC learning of continuous features
| 2024-12-06 | Paper |
On computable aspects of algebraic and definable closure
Journal Of Logic And Computation | 2022-02-08 | Paper |
On computable learning of continuous features
| 2021-11-23 | Paper |
The beta-Bernoulli process and algebraic effects
| 2021-07-28 | Paper |
Computability of algebraic and definable closure
| 2020-05-06 | Paper |
An introduction to feedback Turing computability
Journal Of Logic And Computation | 2020-04-29 | Paper |
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
| 2020-03-08 | Paper |
On the computability of conditional probability
Journal of the ACM | 2020-02-11 | Paper |
Optimal Approximate Sampling from Discrete Probability Distributions
| 2020-01-13 | Paper |
Feedback computability on Cantor space
| 2019-05-17 | Paper |
The entropy function of an invariant measure
| 2018-09-06 | Paper |
Feedback Turing computability, and Turing computability as feedback
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
On the computability of graphons
| 2018-01-31 | Paper |
Stable regularity for relational structures
| 2017-12-26 | Paper |
Graph Turing machines
| 2017-12-20 | Paper |
On computability and disintegration
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
Properly ergodic structures
| 2017-10-25 | Paper |
Countable infinitary theories admitting an invariant measure
| 2017-10-17 | Paper |
Feedback computability on Cantor space
| 2017-08-03 | Paper |
On the computability of graph Turing machines
| 2017-03-28 | Paper |
Priors on exchangeable directed graphs
Electronic Journal of Statistics | 2017-01-11 | Paper |
A classification of orbits admitting a unique invariant measure
Annals of Pure and Applied Logic | 2016-10-26 | Paper |
INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
Forum of Mathematics, Sigma | 2016-07-06 | Paper |
Invariant measures via inverse limits of finite structures
European Journal of Combinatorics | 2015-12-11 | Paper |
Algorithmic aspects of Lipschitz functions
Computability | 2014-06-19 | Paper |
Randomness extraction and asymptotic Hamming distance
Logical Methods in Computer Science | 2013-09-26 | Paper |
A notion of a computational step for partial combinatory algebras
Lecture Notes in Computer Science | 2013-05-28 | Paper |
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
| 2012-12-19 | Paper |
Invariant measures concentrated on countable structures
| 2012-06-18 | Paper |
Computable de Finetti measures
Annals of Pure and Applied Logic | 2012-03-13 | Paper |
Computable exchangeable sequences have computable de Finetti measures
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
| N/A | Paper |
