中文
相关论文

相关论文: Premise Selection for Theorem Proving by Deep Grap…

200 篇论文

Knowledge graph (KG) embedding methods which map entities and relations to unique embeddings in the KG have shown promising results on many reasoning tasks. However, the same embedding dimension for both dense entities and sparse entities…

计算与语言 · 计算机科学 2022-05-06 Linlin Chao , Xiexiong Lin , Taifeng Wang , Wei Chu

Modeling the structure of coherent texts is a key NLP problem. The task of coherently organizing a given set of sentences has been commonly used to build and evaluate models that understand such structure. We propose an end-to-end…

计算与语言 · 计算机科学 2017-12-25 Lajanugen Logeswaran , Honglak Lee , Dragomir Radev

In this paper we introduce a word embedding composition method based on the intuitive idea that a fair embedding representation for a given set of words should satisfy that the new vector will be at the same distance of the vector…

计算与语言 · 计算机科学 2024-06-18 Roberto Santana , Mauricio Romero Sicre

For challenging machine learning problems such as zero-shot learning and fine-grained categorization, embedding learning is the machinery of choice because of its ability to learn generic notions of similarity, as opposed to class-specific…

计算机视觉与模式识别 · 计算机科学 2019-12-19 Ujjal Kr Dutta , Mehrtash Harandi , Chandra Sekhar Chellu

In recent years, Deep Learning methods have achieved state of the art performance in a vast range of machine learning tasks, including image classification and multilingual automatic text translation. These architectures are trained to…

机器学习 · 计算机科学 2020-12-15 Carlos Lassance

Deep RL approaches build much of their success on the ability of the deep neural network to generate useful internal representations. Nevertheless, they suffer from a high sample-complexity and starting with a good input representation can…

机器学习 · 计算机科学 2021-02-17 Vikram Waradpande , Daniel Kudenko , Megha Khosla

Recognition of objects with subtle differences has been used in many practical applications, such as car model recognition and maritime vessel identification. For discrimination of the objects in fine-grained detail, we focus on deep…

计算机视觉与模式识别 · 计算机科学 2019-07-23 Kaan Karaman , Erhan Gundogdu , Aykut Koc , A. Aydin Alatan

Robust estimation of the essential matrix, which encodes the relative position and orientation of two cameras, is a fundamental step in structure from motion pipelines. Recent deep-based methods achieved accurate estimation by using complex…

计算机视觉与模式识别 · 计算机科学 2024-11-05 Dror Moran , Yuval Margalit , Guy Trostianetsky , Fadi Khatib , Meirav Galun , Ronen Basri

We introduce probabilistic embeddings using Laplacian priors (PELP). The proposed model enables incorporating graph side-information into static word embeddings. We theoretically show that the model unifies several previously proposed…

计算与语言 · 计算机科学 2022-04-06 Väinö Yrjänäinen , Måns Magnusson

Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential…

Predicting unobserved entries of a partially observed matrix has found wide applicability in several areas, such as recommender systems, computational biology, and computer vision. Many scalable methods with rigorous theoretical guarantees…

机器学习 · 统计学 2018-02-15 Vatsal Shah , Nikhil Rao , Weicong Ding

Recent years have witnessed a surge of interest in machine learning on graphs and networks with applications ranging from vehicular network design to IoT traffic management to social network recommendations. Supervised machine learning…

社会与信息网络 · 计算机科学 2019-08-23 Manoj Reddy Dareddy , Mahashweta Das , Hao Yang

Scene graph generation aims to produce structured representations for images, which requires to understand the relations between objects. Due to the continuous nature of deep neural networks, the prediction of scene graphs is divided into…

计算机视觉与模式识别 · 计算机科学 2020-08-13 Meng Wei , Chun Yuan , Xiaoyu Yue , Kuo Zhong

We propose a method for obtaining parsimonious decompositions of networks into higher order interactions which can take the form of arbitrary motifs.The method is based on a class of analytically solvable generative models, where vertices…

社会与信息网络 · 计算机科学 2024-04-03 Anatol E. Wegner , Sofia C. Olhede

We address the problem of graph classification based only on structural information. Inspired by natural language processing techniques (NLP), our model sequentially embeds information to estimate class membership probabilities. Besides, we…

机器学习 · 计算机科学 2019-05-14 Edouard Pineau , Nathan de Lara

Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to obviate the need for such heuristics, however, its deployment…

To improve word representation learning, we propose a probabilistic prior which can be seamlessly integrated with word embedding models. Different from previous methods, word embedding is taken as a probabilistic generative model, and it…

计算与语言 · 计算机科学 2023-09-22 Shaogang Ren , Dingcheng Li , Ping Li

We propose a novel approach for learning node representations in directed graphs, which maintains separate views or embedding spaces for the two distinct node roles induced by the directionality of the edges. We argue that the previous…

社会与信息网络 · 计算机科学 2019-07-01 Megha Khosla , Jurek Leonhardt , Wolfgang Nejdl , Avishek Anand

Problems in scientific computing, such as distributing large sparse matrix operations, have analogous formulations as hypergraph partitioning problems. A hypergraph is a generalization of a traditional graph wherein "hyperedges" may connect…

数据结构与算法 · 计算机科学 2022-06-16 Justin Sybrandt , Ruslan Shaydulin , Ilya Safro

Deep learning is currently the subject of intensive study. However, fundamental concepts such as representations are not formally defined -- researchers "know them when they see them" -- and there is no common language for describing and…

机器学习 · 计算机科学 2015-09-30 David Balduzzi