3 ms·
I've built Bayesian non-parametric methods that performed inference on certain formulae, FOPL subsets or even Turing-complete programs. IMHO, it's a very exciti
by nextos 8y ago
I've built Bayesian non-parametric methods that performed inference on certain formulae, FOPL subsets or even Turing-complete programs. IMHO, it's a very exciting field that will bloom midterm.
- thelastbender12 8y agoThis sounds fun. Do you mind giving a longer description?
- nextos 8y agoI can't say much due to contract. But I can point you to a good source to get started: https://v1.probmods.org/learning-as-conditional-inference.html#example-inferring-an-arithmetic-expression https://v1.probmods.org/learning-as-conditional-inference.ht...