paper-with-me

Papers

Learning Chordal Markov Networks by Dynamic Programming

2014-12-01 · NeurIPS 2014 12 · Kustaa Kangas, Mikko Koivisto, Teppo Niinimäki

We present an algorithm for finding a chordal Markov network that maximizes any given decomposable scoring function. The algorithm is based on a recursive characterization of clique trees, and it runs in O(4^n) time for n vertices. On an eight-vertex benchmark instance, our implementation turns out to be about ten million times faster than a recently proposed, constraint satisfaction based algorithm (Corander et al., NIPS 2013). Within a few hours, it is able to solve instances up to 18 vertices, and beyond if we restrict the maximum clique size. We also study the performance of a recent integer linear programming algorithm (Bartlett and Cussens, UAI 2013). Our results suggest that, unless we bound the clique sizes, currently only the dynamic programming algorithm is guaranteed to solve instances with around 15 or more vertices.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Learning Chordal Markov Networks via Branch and Bound

2017-12-01 · NeurIPS 2017 12 · Kari Rantanen, Antti Hyttinen, Matti Järvisalo

We present a new algorithmic approach for the task of finding a chordal Markov network structure that maximizes a given scoring function. The algorithm is based on branch and bound and integrates dynamic programming for …

Learning Chordal Markov Networks by Constraint Satisfaction

2013-10-03 · NeurIPS 2013 12 · Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman 외

We investigate the problem of learning the structure of a Markov network from data. It is shown that the structure of such networks can be described in terms of constraints which enables the use of existing solver techno…

Chordal Sparsity for SDP-based Neural Network Verification

2022-06-07 · Anton Xue, Lars Lindemann, Rajeev Alur

Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge. It is known that network outputs can be sensitive and fragile to even small input perturbations, there…

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

2022-04-02 · Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani 외

Lipschitz constants of neural networks allow for guarantees of robustness in image classification, safety in controller design, and generalizability beyond the training data. As calculating Lipschitz constants is NP-hard…

image-classificationImage ClassificationNavigate

Marginal Pseudo-Likelihood Learning of Markov Network structures

2014-01-20 · Johan Pensar, Henrik Nyman, Juha Niiranen, Jukka Corander

Undirected graphical models known as Markov networks are popular for a wide variety of applications ranging from statistical physics to computational biology. Traditionally, learning of the network structure has been don…