English
Related papers

Related papers: Algebraic Net Class Rewriting Systems, Syntax and …

200 papers

Solving algebra problems (APs) continues to attract significant research interest as evidenced by the large number of algorithms and theories proposed over the past decade. Despite these important research contributions, however, the body…

Logic in Computer Science · Computer Science 2024-12-24 Xinguo Yu , Weina Cheng , Chuanzhi Yang , Ting Zhang

Subgraph reconfiguration is a family of problems focusing on the reachability of the solution space in which feasible solutions are subgraphs, represented either as sets of vertices or sets of edges, satisfying a prescribed graph structure…

Data Structures and Algorithms · Computer Science 2018-03-19 Tesshu Hanaka , Takehiro Ito , Haruka Mizuta , Benjamin Moore , Naomi Nishimura , Vijay Subramanya , Akira Suzuki , Krishna Vaidyanathan

The unification problem in algebras capable of describing sets has been tackled, directly or indirectly, by many researchers and it finds important applications in various research areas--e.g., deductive databases, theorem proving, static…

Logic in Computer Science · Computer Science 2007-05-23 Agostino Dovier , Enrico Pontelli , Gianfranco Rossi

We explore contemporary, data-driven techniques for solving math word problems over recent large-scale datasets. We show that well-tuned neural equation classifiers can outperform more sophisticated models such as sequence to sequence and…

Artificial Intelligence · Computer Science 2018-05-01 Benjamin Robaidek , Rik Koncel-Kedziorski , Hannaneh Hajishirzi

Neural network based methods have obtained great progress on a variety of natural language processing tasks. However, in most previous works, the models are learned based on single-task supervised objectives, which often suffer from…

Computation and Language · Computer Science 2016-05-18 Pengfei Liu , Xipeng Qiu , Xuanjing Huang

We investigate how neural networks can learn and process languages with hierarchical, compositional semantics. To this end, we define the artificial task of processing nested arithmetic expressions, and study whether different types of…

Computation and Language · Computer Science 2018-04-23 Dieuwke Hupkes , Sara Veldhoen , Willem Zuidema

Modelling how concepts are related is a central topic in Lexical Semantics. A common strategy is to rely on knowledge graphs (KGs) such as ConceptNet, and to model the relation between two concepts as a set of paths. However, KGs are…

Computation and Language · Computer Science 2023-10-20 Nitesh Kumar , Steven Schockaert

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

Sentence matching is a fundamental task of natural language processing with various applications. Most recent approaches adopt attention-based neural models to build word- or phrase-level alignment between two sentences. However, these…

Computation and Language · Computer Science 2021-10-22 Peng Cui , Le Hu , Yuanchao Liu

In this work, we aim at equipping pre-trained language models with structured knowledge. We present two self-supervised tasks learning over raw text with the guidance from knowledge graphs. Building upon entity-level masked language models,…

Computation and Language · Computer Science 2020-04-30 Tao Shen , Yi Mao , Pengcheng He , Guodong Long , Adam Trischler , Weizhu Chen

The most approaches to Knowledge Base Question Answering are based on semantic parsing. In this paper, we address the problem of learning vector representations for complex semantic parses that consist of multiple entities and relations.…

Computation and Language · Computer Science 2018-08-14 Daniil Sorokin , Iryna Gurevych

Question answering has emerged as an intuitive way of querying structured data sources, and has attracted significant advancements over the years. In this article, we provide an overview over these recent advancements, focusing on neural…

Computation and Language · Computer Science 2019-07-23 Nilesh Chakraborty , Denis Lukovnikov , Gaurav Maheshwari , Priyansh Trivedi , Jens Lehmann , Asja Fischer

Representing structured text from complex documents typically calls for different machine learning techniques, such as language models for paragraphs and convolutional neural networks (CNNs) for table extraction, which prohibits drawing…

Computation and Language · Computer Science 2022-02-21 Thomas Roland Barillot , Jacob Saks , Polena Lilyanova , Edward Torgas , Yachen Hu , Yuanqing Liu , Varun Balupuri , Paul Gaskell

We study question answering over a dynamic textual environment. Although neural network models achieve impressive accuracy via learning from input-output examples, they rarely leverage various types of knowledge and are generally not…

Computation and Language · Computer Science 2020-04-28 Wanjun Zhong , Duyu Tang , Nan Duan , Ming Zhou , Jiahai Wang , Jian Yin

This paper presents a novel approach to automatically solving arithmetic word problems. This is the first algorithmic approach that can handle arithmetic problems with multiple steps and operations, without depending on additional…

Computation and Language · Computer Science 2016-08-23 Subhro Roy , Dan Roth

Knowledge graph (KG) representation learning aims to encode entities and relations into dense continuous vector spaces such that knowledge contained in a dataset could be consistently represented. Dense embeddings trained from KG datasets…

Machine Learning · Computer Science 2022-04-18 Tong Yang , Yifei Wang , Long Sha , Jan Engelbrecht , Pengyu Hong

Drori et al. (2022) report that "A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level ... [It] automatically answers 81\% of university-level mathematics…

Artificial Intelligence · Computer Science 2022-08-16 Ernest Davis

Embedding-based methods for reasoning in knowledge hypergraphs learn a representation for each entity and relation. Current methods do not capture the procedural rules underlying the relations in the graph. We propose a simple…

Machine Learning · Computer Science 2021-02-19 Bahare Fatemi , Perouz Taslakian , David Vazquez , David Poole

Automated story generation is the problem of automatically selecting a sequence of events, actions, or words that can be told as a story. We seek to develop a system that can generate stories by learning everything it needs to know from…

Computation and Language · Computer Science 2023-01-19 Lara J. Martin , Prithviraj Ammanabrolu , Xinyu Wang , William Hancock , Shruti Singh , Brent Harrison , Mark O. Riedl

Knowledge graph embedding involves learning representations of entities -- the vertices of the graph -- and relations -- the edges of the graph -- such that the resulting representations encode the known factual information represented by…

Machine Learning · Computer Science 2023-03-21 Thomas Gebhart , Jakob Hansen , Paul Schrater