English
Related papers

Related papers: Analyzing B\"uchi Automata with Graph Neural Netwo…

200 papers

In recent years, machine learning and deep learning approaches such as artificial neural networks have gained in popularity for the resolution of automatic puzzle resolution problems. Indeed, these methods are able to extract high-level…

Computer Vision and Pattern Recognition · Computer Science 2020-11-16 Cecilia Ostertag , Marie Beurton-Aimar

With the advent of end-to-end deep learning approaches in machine translation, interest in word alignments initially decreased; however, they have again become a focus of research more recently. Alignments are useful for typological…

Computation and Language · Computer Science 2021-09-15 Ayyoob Imani , Masoud Jalili Sabet , Lütfi Kerem Şenel , Philipp Dufter , François Yvon , Hinrich Schütze

This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt with by using finite automata on infinite words, but this…

Logic in Computer Science · Computer Science 2007-05-23 Bernard Boigelot , Sebastien Jodogne , Pierre Wolper

Given the success of Graph Neural Networks (GNNs) for structure-aware machine learning, many studies have explored their use for text classification, but mostly in specific domains with limited data characteristics. Moreover, some…

Computation and Language · Computer Science 2024-01-23 Margarita Bugueño , Gerard de Melo

Graph neural networks (GNNs) are powerful tools for conducting inference on graph data but are often seen as "black boxes" due to difficulty in extracting meaningful subnetworks driving predictive performance. Many interpretable GNN methods…

Machine Learning · Statistics 2024-12-17 Whitney Sloneker , Shalin Patel , Michael Wang , Lorin Crawford , Ritambhara Singh

Social and information networks are gaining huge popularity recently due to their various applications. Knowledge representation through graphs in the form of nodes and edges should preserve as many characteristics of the original data as…

Machine Learning · Computer Science 2021-02-08 Rucha Bhalchandra Joshi , Subhankar Mishra

Label propagation is a powerful and flexible semi-supervised learning technique on graphs. Neural networks, on the other hand, have proven track records in many supervised learning tasks. In this work, we propose a training framework with a…

Machine Learning · Computer Science 2017-03-16 Thang D. Bui , Sujith Ravi , Vivek Ramavajjala

Probabilistic B\"uchi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of…

Formal Languages and Automata Theory · Computer Science 2020-04-30 Christof Löding , Anton Pirogov

Graph Neural Networks (GNNs) have demonstrated significant application potential in various fields. However, GNNs are still vulnerable to adversarial attacks. Numerous adversarial defense methods on GNNs are proposed to address the problem…

Social and Information Networks · Computer Science 2024-06-21 Tao Wu , Xinwen Cao , Chao Wang , Shaojie Qiao , Xingping Xian , Lin Yuan , Canyixing Cui , Yanbing Liu

In recent years, with the rapid enhancement of computing power, deep learning methods have been widely applied in wireless networks and achieved impressive performance. To effectively exploit the information of graph-structured data as well…

Information Theory · Computer Science 2021-11-19 S. He , S. Xiong , Y. Ou , J. Zhang , J. Wang , Y. Huang , Y. Zhang

This paper investigates the feasibility of using Graph Neural Networks (GNNs) for classical motion planning problems. We propose guiding both continuous and discrete planning algorithms using GNNs' ability to robustly encode the topology of…

Robotics · Computer Science 2020-12-15 Arbaaz Khan , Alejandro Ribeiro , Vijay Kumar , Anthony G. Francis

We generalize the scattering transform to graphs and consequently construct a convolutional neural network on graphs. We show that under certain conditions, any feature generated by such a network is approximately invariant to permutations…

Information Theory · Computer Science 2020-09-10 Dongmian Zou , Gilad Lerman

We consider the question of speeding up classic graph algorithms with machine-learned predictions. In this model, algorithms are furnished with extra advice learned from past or similar instances. Given the additional information, we aim to…

Data Structures and Algorithms · Computer Science 2022-04-27 Justin Y. Chen , Sandeep Silwal , Ali Vakilian , Fred Zhang

Graph neural networks (GNNs) are effective machine learning models for many graph-related applications. Despite their empirical success, many research efforts focus on the theoretical limitations of GNNs, i.e., the GNNs expressive power.…

Machine Learning · Computer Science 2025-01-13 Bingxu Zhang , Changjun Fan , Shixuan Liu , Kuihua Huang , Xiang Zhao , Jincai Huang , Zhong Liu

Researchers have relegated natural language processing tasks to Transformer-type models, particularly generative models, because these models exhibit high versatility when performing generation and classification tasks. As the size of these…

Computation and Language · Computer Science 2025-04-04 Fabio Yáñez-Romero , Andrés Montoyo , Armando Suárez , Yoan Gutiérrez , Ruslan Mitkov

Graph Neural Networks (GNNs) are a powerful technique for machine learning on graph-structured data, yet they pose challenges in interpretability. Existing GNN explanation methods usually yield technical outputs, such as subgraphs and…

Machine Learning · Computer Science 2025-04-09 Mateusz Cedro , David Martens

Network data can be conveniently modeled as a graph signal, where data values are assigned to nodes of a graph that describes the underlying network topology. Successful learning from network data is built upon methods that effectively…

Machine Learning · Computer Science 2021-05-26 Fernando Gama , Elvin Isufi , Geert Leus , Alejandro Ribeiro

Document structure analysis, such as zone segmentation and table recognition, is a complex problem in document processing and is an active area of research. The recent success of deep learning in solving various computer vision and machine…

Computer Vision and Pattern Recognition · Computer Science 2019-07-04 Shah Rukh Qasim , Hassan Mahmood , Faisal Shafait

Neural-symbolic computing has now become the subject of interest of both academic and industry research laboratories. Graph Neural Networks (GNN) have been widely used in relational and symbolic domains, with widespread application of GNNs…

Artificial Intelligence · Computer Science 2021-06-15 Luis C. Lamb , Artur Garcez , Marco Gori , Marcelo Prates , Pedro Avelar , Moshe Vardi

Present-day graphical user interfaces (GUIs) exhibit diverse arrangements of text, graphics, and interactive elements such as buttons and menus, but representations of GUIs have not kept up. They do not encapsulate both semantic and…

Human-Computer Interaction · Computer Science 2024-04-23 Yue Jiang , Changkong Zhou , Vikas Garg , Antti Oulasvirta