Arthur Choi
From MaRDI portal
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
