中文
相关论文

相关论文: Probabilistic Graph Reasoning for Natural Proof Ge…

200 篇论文

Probabilistic context-free grammars have a long-term record of use as generative models in machine learning and symbolic regression. When used for symbolic regression, they generate algebraic expressions. We define the latter as equivalence…

形式语言与自动机理论 · 计算机科学 2022-12-05 Urh Primožič , Ljupčo Todorovski , Matej Petković

This paper studies how to automatically generate a natural language text that describes the facts in knowledge graph (KG). Considering the few-shot setting, we leverage the excellent capacities of pretrained language models (PLMs) in…

计算与语言 · 计算机科学 2021-06-04 Junyi Li , Tianyi Tang , Wayne Xin Zhao , Zhicheng Wei , Nicholas Jing Yuan , Ji-Rong Wen

Generating natural language text from graph-structured data is essential for conversational information seeking. Semantic triples derived from knowledge graphs can serve as a valuable source for grounding responses from conversational…

计算与语言 · 计算机科学 2024-02-05 Phillip Schneider , Manuel Klettner , Elena Simperl , Florian Matthes

Language models can be sampled multiple times to access the distribution underlying their responses, but existing methods cannot efficiently synthesize rich epistemic signals across different long-form responses. We introduce Consensus…

计算与语言 · 计算机科学 2025-10-07 Sayan Ghosh , Shahzaib Saqib Warraich , Dhruv Tarsadiya , Gregory Yauney , Swabha Swayamdipta

Recent years have witnessed impressive results of pre-trained vision-language models on knowledge-intensive tasks such as visual question answering (VQA). Despite the recent advances in VQA, existing methods mainly adopt a discriminative…

计算机视觉与模式识别 · 计算机科学 2023-07-03 Timothy Ossowski , Junjie Hu

Graph generation generally aims to create new graphs that closely align with a specific graph distribution. Existing works often implicitly capture this distribution through the optimization of generators, potentially overlooking the…

机器学习 · 计算机科学 2024-07-19 Song Wang , Zhen Tan , Xinyu Zhao , Tianlong Chen , Huan Liu , Jundong Li

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive…

计算机科学中的逻辑 · 计算机科学 2012-09-13 Marcus Hutter , John W. Lloyd , Kee Siong Ng , William T. B. Uther

In this thesis, we present two approaches to a rigorous mathematical and algorithmic foundation of quantitative and statistical inference in constraint-based natural language processing. The first approach, called quantitative constraint…

计算与语言 · 计算机科学 2007-05-23 Stefan Riezler

Knowledge graph (KG) reasoning is a task that aims to predict unknown facts based on known factual samples. Reasoning methods can be divided into two categories: rule-based methods and KG-embedding based methods. The former possesses…

人工智能 · 计算机科学 2024-07-08 Fengsong Sun , Jinyu Wang , Zhiqing Wei , Xianchao Zhang

We propose a new statistical model for computational linguistics. Rather than trying to estimate directly the probability distribution of a random sentence of the language, we define a Markov chain on finite sets of sentences with many…

机器学习 · 统计学 2013-02-12 Olivier Catoni , Thomas Mainguy

Recently, end-to-end trained models for multiple-choice commonsense question answering (QA) have delivered promising results. However, such question-answering systems cannot be directly applied in real-world scenarios where answer…

计算与语言 · 计算机科学 2023-03-21 Zhen Han , Yue Feng , Mingming Sun

In this work, we propose the novel Prototypical Graph Regression Self-explainable Trees (ProGReST) model, which combines prototype learning, soft decision trees, and Graph Neural Networks. In contrast to other works, our model can be used…

定量方法 · 定量生物学 2022-12-29 Dawid Rymarczyk , Daniel Dobrowolski , Tomasz Danel

Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable…

人工智能 · 计算机科学 2012-02-20 Vibhav Gogate , Pedro Domingos

This paper introduces provGen, a generator aimed at producing large synthetic provenance graphs with predictable properties and of arbitrary size. Synthetic provenance graphs serve two main purposes. Firstly, they provide a variety of…

数据库 · 计算机科学 2014-06-11 Hugo Firth , Paolo Missier

The pursuit of automated scientific discovery has fueled progress from symbolic logic to modern AI, forging new frontiers in reasoning and pattern recognition. Transformers function as potential systems, where every possible relationship…

人工智能 · 计算机科学 2025-01-15 Markus J. Buehler

Retrieval-Augmented Generation (RAG) has become a robust framework for enhancing Large Language Models (LLMs) with external knowledge. Recent advances in RAG have investigated graph based retrieval for intricate reasoning; however, the…

计算机视觉与模式识别 · 计算机科学 2025-11-04 Tejas Sarnaik , Manan Shah , Ravi Hegde

Recent work on recommender systems has considered external knowledge graphs as valuable sources of information, not only to produce better recommendations but also to provide explanations of why the recommended items were chosen. Pure…

信息检索 · 计算机科学 2020-07-28 Yikun Xian , Zuohui Fu , Qiaoying Huang , S. Muthukrishnan , Yongfeng Zhang

The increasing complexity of computing systems places a tremendous burden on optimizing compilers, requiring ever more accurate and aggressive optimizations. Machine learning offers significant benefits for constructing optimization…

机器学习 · 计算机科学 2020-03-25 Chris Cummins , Zacharias V. Fisches , Tal Ben-Nun , Torsten Hoefler , Hugh Leather

Natural question generation (QG) aims to generate questions from a passage and an answer. In this paper, we propose a novel reinforcement learning (RL) based graph-to-sequence (Graph2Seq) model for QG. Our model consists of a Graph2Seq…

计算与语言 · 计算机科学 2020-02-17 Yu Chen , Lingfei Wu , Mohammed J. Zaki

We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly…

人工智能 · 计算机科学 2021-10-08 Pietro Totis , Angelika Kimmig , Luc De Raedt