English
Related papers

Related papers: A Graph-Based Framework for Exploring Mathematical…

200 papers

Graph machine learning has enjoyed a meteoric rise in popularity since the introduction of deep learning in graph contexts. This is no surprise due to the ubiquity of graph data in large scale industrial settings. Tacitly assumed in all…

Machine Learning · Computer Science 2024-12-10 Isay Katsman , Ethan Lou , Anna Gilbert

Developing models that can learn to reason is a notoriously challenging problem. We focus on reasoning in relational domains, where the use of Graph Neural Networks (GNNs) seems like a natural choice. However, previous work has shown that…

Artificial Intelligence · Computer Science 2025-03-03 Irtaza Khalid , Steven Schockaert

In this study, we present a method of pattern mining based on network theory that enables the identification of protein structures or complexes from synthetic volume densities, without the knowledge of predefined templates or human biases…

Quantitative Methods · Quantitative Biology 2022-10-18 August George , Doo Nam Kim , Trevor Moser , Ian T. Gildea , James E. Evans , Margaret S. Cheung

Deductive and abductive reasoning are two critical paradigms for analyzing knowledge graphs, enabling applications from financial query answering to scientific discovery. Deductive reasoning on knowledge graphs usually involves retrieving…

Artificial Intelligence · Computer Science 2026-02-12 Yisen Gao , Jiaxin Bai , Yi Huang , Xingcheng Fu , Qingyun Sun , Yangqiu Song

The topological (or graph) structures of real-world networks are known to be predictive of multiple dynamic properties of the networks. Conventionally, a graph structure is represented using an adjacency matrix or a set of hand-crafted…

Social and Information Networks · Computer Science 2016-10-21 Cheng Li , Xiaoxiao Guo , Qiaozhu Mei

Commonsense question answering aims to answer questions which require background knowledge that is not explicitly expressed in the question. The key challenge is how to obtain evidence from external knowledge and make predictions based on…

Computation and Language · Computer Science 2020-06-11 Shangwen Lv , Daya Guo , Jingjing Xu , Duyu Tang , Nan Duan , Ming Gong , Linjun Shou , Daxin Jiang , Guihong Cao , Songlin Hu

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This…

Logic in Computer Science · Computer Science 2023-06-22 Matteo Acclavio , Ross Horne , Lutz Straßburger

Recently, the deep learning community has given growing attention to neural architectures engineered to learn problems in relational domains. Convolutional Neural Networks employ parameter sharing over the image domain, tying the weights of…

Machine Learning · Computer Science 2019-02-26 Marcelo O. R. Prates , Pedro H. C. Avelar , Henrique Lemos , Marco Gori , Luis Lamb

Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding logical formulas into numerical vectors -- from simple…

Artificial Intelligence · Computer Science 2020-03-17 Ibrahim Abdelaziz , Veronika Thost , Maxwell Crouse , Achille Fokoue

Graph representation learning aims to effectively encode high-dimensional sparse graph-structured data into low-dimensional dense vectors, which is a fundamental task that has been widely studied in a range of fields, including machine…

The field of hypothesis generation promises to reduce costs in neuroscience by narrowing the range of interventional studies needed to study various phenomena. Existing machine learning methods can generate scientific hypotheses from…

Machine Learning · Computer Science 2025-07-04 Zachary C. Brown , David Carlson

In-context learning (ICL) enhances large language models (LLMs) by incorporating demonstration examples, yet its effectiveness heavily depends on the quality of selected examples. Current methods typically use text embeddings to measure…

Artificial Intelligence · Computer Science 2025-12-02 Jiale Fu , Yaqing Wang , Simeng Han , Jiaming Fan , Xu Yang

Predicting the emergence of links in large evolving networks is a difficult task with many practical applications. Recently, the Science4cast competition has illustrated this challenge presenting a network of 64.000 AI concepts and asking…

Social and Information Networks · Computer Science 2022-01-26 Francisco Andrades , Ricardo Ñanculef

Quantum Graph Neural Networks (QGNNs) offer a promising approach to combining quantum computing with graph-structured data processing. While classical Graph Neural Networks (GNNs) are scalable and robust, existing QGNNs often lack…

Quantum Physics · Physics 2026-01-13 Arthur M. Faria , Ignacio F. Graña , Savvas Varsamopoulos

This paper develops an innovative method that enables neural networks to generate and utilize knowledge graphs, which describe their concept-level knowledge and optimize network parameters through alignment with human-provided knowledge.…

Machine Learning · Computer Science 2024-04-29 Tangrui Li , Jun Zhou

Probabilistic graphical modeling is a branch of machine learning that uses probability distributions to describe the world, make predictions, and support decision-making under uncertainty. Underlying this modeling framework is an elegant…

Machine Learning · Computer Science 2025-07-24 Jacqueline Maasch , Willie Neiswanger , Stefano Ermon , Volodymyr Kuleshov

Methods that learn representations of nodes in a graph play a critical role in network analysis since they enable many downstream learning tasks. We propose Graph2Gauss - an approach that can efficiently learn versatile node embeddings on…

Machine Learning · Statistics 2019-04-02 Aleksandar Bojchevski , Stephan Günnemann

Graphs are nowadays ubiquitous in the fields of signal processing and machine learning. As a tool used to express relationships between objects, graphs can be deployed to various ends: I) clustering of vertices, II) semi-supervised…

Machine Learning · Computer Science 2020-07-17 Carlos Lassance , Vincent Gripon , Gonzalo Mateos

Graph matching refers to finding node correspondence between graphs, such that the corresponding node and edge's affinity can be maximized. In addition with its NP-completeness nature, another important challenge is effective modeling of…

Computer Vision and Pattern Recognition · Computer Science 2020-12-01 Runzhong Wang , Junchi Yan , Xiaokang Yang

Automated reasoning and theorem proving have recently become major challenges for machine learning. In other domains, representations that are able to abstract over unimportant transformations, such as abstraction over translations and…

Artificial Intelligence · Computer Science 2021-12-03 Miroslav Olšák , Cezary Kaliszyk , Josef Urban