List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verifying binarized neural networks by Angluin-style learning | 2020-05-20 | Paper |
| On the relative expressiveness of Bayesian and neural networks International Journal of Approximate Reasoning | 2020-02-26 | Paper |
| On pruning with the MDL score International Journal of Approximate Reasoning | 2017-12-22 | Paper |
| Learning Bayesian network parameters under equivalence constraints Artificial Intelligence | 2017-02-22 | Paper |
| Algorithms and Applications for the Same-Decision Probability Journal of Artificial Intelligence Research | 2014-05-16 | Paper |
| Compiling probabilistic graphical models using sentential decision diagrams Lecture Notes in Computer Science | 2013-08-05 | Paper |
| Same-decision probability: a confidence measure for threshold-based decisions International Journal of Approximate Reasoning | 2013-06-13 | Paper |
| Solving weighted Max-SAT problems in a reduced search space: a performance analysis | 2009-02-24 | Paper |
Research outcomes over time
This page was built for person: Arthur Choi
