English
Related papers

Related papers: Fast OBDD Reordering using Neural Message Passing …

200 papers

Outcomes with a natural order commonly occur in prediction tasks and often the available input data are a mixture of complex data like images and tabular predictors. Deep Learning (DL) models are state-of-the-art for image classification…

Machine Learning · Statistics 2021-04-21 Lucas Kook , Lisa Herzog , Torsten Hothorn , Oliver Dürr , Beate Sick

Order diagrams allow human analysts to understand and analyze structural properties of ordered data. While an experienced expert can create easily readable order diagrams, the automatic generation of those remains a hard task. In this work,…

Computational Geometry · Computer Science 2021-02-05 Dominik Dürrschnabel , Gerd Stumme

Compiling graphical models has recently been under intense investigation, especially for probabilistic modeling and processing. We present here a novel data structure for compiling weighted graphical models (in particular, probabilistic…

Artificial Intelligence · Computer Science 2012-06-26 Robert Mateescu , Rina Dechter

Neural networks are fundamental tools of modern machine learning. The standard paradigm assumes binary interactions (across feedforward linear passes) between inter-tangled units, organized in sequential layers. Generalized architectures…

Machine Learning · Computer Science 2026-03-31 Gianluca Peri , Timoteo Carletti , Duccio Fanelli , Diego Febbe

Order diagrams are an important tool to visualize the complex structure of ordered sets. Favorable drawings of order diagrams, i.e., easily readable for humans, are hard to come by, even for small ordered sets. Many attempts were made to…

Computational Geometry · Computer Science 2023-12-29 Dominik Dürrschnabel , Tom Hanika , Gerd Stumme

High-dimensional nonlinear systems pose considerable challenges for modeling and control across many domains, from fluid mechanics to advanced robotics. Such systems are typically approximated with reduced-order models, which often rely on…

Systems and Control · Electrical Eng. & Systems 2025-09-05 Hugo Buurmeijer , Luis A. Pabon , John Irvin Alora , Roshan S. Kaundinya , George Haller , Marco Pavone

For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space explosion problem. Symbolic BDD-based representations have…

Logic in Computer Science · Computer Science 2020-04-29 Clemens Dubslaff , Andrey Morozov , Christel Baier , Klaus Janschek

We train an agent to navigate in 3D environments using a hierarchical strategy including a high-level graph based planner and a local policy. Our main contribution is a data driven learning based approach for planning under uncertainty in…

Machine Learning · Computer Science 2020-07-13 Edward Beeching , Jilles Dibangoye , Olivier Simonin , Christian Wolf

Graph Neural Networks (GNNs) have greatly advanced the semi-supervised node classification task on graphs. The majority of existing GNNs are trained in an end-to-end manner that can be viewed as tackling a bi-level optimization problem.…

Machine Learning · Computer Science 2023-07-20 Haoyu Han , Xiaorui Liu , Haitao Mao , MohamadAli Torkamani , Feng Shi , Victor Lee , Jiliang Tang

Numerous subgraph-enhanced graph neural networks (GNNs) have emerged recently, provably boosting the expressive power of standard (message-passing) GNNs. However, there is a limited understanding of how these approaches relate to each other…

Machine Learning · Computer Science 2022-10-18 Chendi Qian , Gaurav Rattan , Floris Geerts , Christopher Morris , Mathias Niepert

Hypergraph is a data structure that enables us to model higher-order associations among data entities. Conventional graph-structured data can represent pairwise relationships only, whereas hypergraph enables us to associate any number of…

Machine Learning · Computer Science 2024-12-10 Md. Tanvir Alam , Chowdhury Farhan Ahmed , Carson K. Leung

Graph neural networks (GNNs) are becoming increasingly popular in the medical domain for the tasks of disease classification and outcome prediction. Since patient data is not readily available as a graph, most existing methods either…

Computer Vision and Pattern Recognition · Computer Science 2023-10-05 Nithya Bhasker , Stefan Leger , Alexander Zwanenburg , Chethan Babu Reddy , Sebastian Bodenstedt , Steffen Löck , Stefanie Speidel

Inspired by the recently introduced framework of AND/OR search spaces for graphical models, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function decomposition structure and to extend these…

Artificial Intelligence · Computer Science 2014-01-16 Robert Mateescu , Rina Dechter , Radu Marinescu

Binary Decision Diagrams (BDDs) are a widely used data structure for efficient Boolean function representation. Context-Free-Language Ordered Binary Decision Diagrams (CFLOBDDs) are a recently introduced hierarchical data structure that…

Formal Languages and Automata Theory · Computer Science 2026-05-18 Meghana Aparna Sistla , Swarat Chaudhuri , Thomas W. Reps

Sentence ordering aims at arranging a list of sentences in the correct order. Based on the observation that sentence order at different distances may rely on different types of information, we devise a new approach based on multi-granular…

Computation and Language · Computer Science 2021-01-29 Yutao Zhu , Kun Zhou , Jian-Yun Nie , Shengchao Liu , Zhicheng Dou

Hypergraphs, encoding structured interactions among any number of system units, have recently proven a successful tool to describe many real-world biological and social networks. Here we propose a framework based on statistical inference to…

Social and Information Networks · Computer Science 2022-12-01 Martina Contisciani , Federico Battiston , Caterina De Bacco

Temporal graph is an abstraction for modeling dynamic systems that consist of evolving interaction elements. In this paper, we aim to solve an important yet neglected problem -- how to learn information from high-order neighbors in temporal…

Machine Learning · Computer Science 2023-04-17 Zehong Wang , Qi Li , Donghua Yu

A major challenge in designing neural network (NN) systems is to determine the best structure and parameters for the network given the data for the machine learning problem at hand. Examples of parameters are the number of layers and nodes,…

Artificial Intelligence · Computer Science 2017-05-25 Gonzalo Diaz , Achille Fokoue , Giacomo Nannicini , Horst Samulowitz

We study ordinal approximation algorithms for maximum-weight bipartite matchings. Such algorithms only know the ordinal preferences of the agents/nodes in the graph for their preferred matches, but must compete with fully omniscient…

Computer Science and Game Theory · Computer Science 2017-07-07 Elliot Anshelevich , Wennan Zhu

Recent work has proven that training large language models with self-supervised tasks and fine-tuning these models to complete new tasks in a transfer learning setting is a powerful idea, enabling the creation of models with many…

Machine Learning · Computer Science 2024-11-25 Matthew Spellings , Maya Martirossyan , Julia Dshemuchadse