中文
相关论文

相关论文: Symmetries and Expressive Requirements for Learnin…

200 篇论文

Independently trained machine learning models tend to learn similar features. Given an ensemble of independently trained models, this results in correlated predictions and common failure modes. Previous attempts focusing on decorrelation of…

This paper studies learning logic rules for reasoning on knowledge graphs. Logic rules provide interpretable explanations when used for prediction as well as being able to generalize to other tasks, and hence are critical to learn. Existing…

人工智能 · 计算机科学 2021-07-19 Meng Qu , Junkun Chen , Louis-Pascal Xhonneux , Yoshua Bengio , Jian Tang

In recent years, deep metric learning has achieved promising results in learning high dimensional semantic feature embeddings where the spatial relationships of the feature vectors match the visual similarities of the images. Similarity…

机器学习 · 计算机科学 2019-09-25 Konstantin Schall , Kai Uwe Barthel , Nico Hezel , Klaus Jung

Understanding information exchange and aggregation on networks is a central problem in theoretical economics, probability and statistics. We study a standard model of economic agents on the nodes of a social network graph who learn a binary…

概率论 · 数学 2014-05-01 Elchanan Mossel , Allan Sly , Omer Tamuz

Recent research has highlighted the role of relational inductive biases in building learning agents that can generalize and reason in a compositional manner. However, while relational learning algorithms such as graph neural networks (GNNs)…

机器学习 · 计算机科学 2020-03-17 Koustuv Sinha , Shagun Sodhani , Joelle Pineau , William L. Hamilton

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more…

人工智能 · 计算机科学 2007-05-23 Pascal Hitzler , Matthias Wendt

The association between language and (non-linguistic) thinking ability in humans has long been debated, and recently, neuroscientific evidence of brain activity patterns has been considered. Such a scientific context naturally raises an…

计算与语言 · 计算机科学 2025-02-18 Riku Kisako , Tatsuki Kuribayashi , Ryohei Sasano

A longstanding objective in classical planning is to synthesize policies that generalize across multiple problems from the same domain. In this work, we study generalized policy search-based methods with a focus on the score function used…

人工智能 · 计算机科学 2022-04-25 Ryan Yang , Tom Silver , Aidan Curtis , Tomas Lozano-Perez , Leslie Pack Kaelbling

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework…

计算机科学中的逻辑 · 计算机科学 2015-10-30 Anthony W. Lin , Truong Khanh Nguyen , Philipp Rümmer , Jun Sun

For nonlinear inverse problems that are prevalent in imaging science, symmetries in the forward model are common. When data-driven deep learning approaches are used to solve such problems, these intrinsic symmetries can cause substantial…

信号处理 · 电气工程与系统科学 2024-03-26 Wenjie Zhang , Yuxiang Wan , Zhong Zhuang , Ju Sun

We explore whether Neural Networks (NNs) can {\it discover} the presence of symmetries as they learn to perform a task. For this, we train hundreds of NNs on a {\it decoy task} based on well-controlled Physics templates, where no…

机器学习 · 计算机科学 2021-07-21 Gabriela Barenboim , Johannes Hirn , Veronica Sanz

Linguistic features have shown promising applications for detecting various cognitive impairments. To improve detection accuracies, increasing the amount of data or the number of linguistic features have been two applicable approaches.…

计算与语言 · 计算机科学 2019-03-29 Zining Zhu , Jekaterina Novikova , Frank Rudzicz

Graph neural networks are prominent models for representation learning over graphs, where the idea is to iteratively compute representations of nodes of an input graph through a series of transformations in such a way that the learned graph…

机器学习 · 计算机科学 2023-10-26 Radoslav Dimitrov , Zeyang Zhao , Ralph Abboud , İsmail İlkan Ceylan

Generalized Linear Models (GLMs) and Single Index Models (SIMs) provide powerful generalizations of linear regression, where the target variable is assumed to be a (possibly unknown) 1-dimensional function of a linear predictor. In general,…

人工智能 · 计算机科学 2011-04-14 Sham Kakade , Adam Tauman Kalai , Varun Kanade , Ohad Shamir

State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important…

计算机科学中的逻辑 · 计算机科学 2009-12-16 Gianfranco Ciardo , Yang Zhao , Xiaoqing Jin

Symmetry breaking for graphs and other combinatorial objects is notoriously hard. On the one hand, complete symmetry breaks are exponential in size. On the other hand, current, state-of-the-art, partial symmetry breaks are often considered…

计算机科学中的逻辑 · 计算机科学 2026-04-01 Michael Codish , Mikoláš Janota

Symmetry in differential equations reveals invariances and offers a powerful means to reduce model complexity. Lie group analysis characterizes these symmetries through infinitesimal generators, which provide a local, linear criterion for…

数值分析 · 数学 2025-11-14 Max Kreider , John Harlim , Daning Huang

Policy learning for partially observed control tasks requires policies that can remember salient information from past observations. In this paper, we present a method for learning policies with internal memory for high-dimensional,…

机器学习 · 计算机科学 2015-09-24 Marvin Zhang , Zoe McCarthy , Chelsea Finn , Sergey Levine , Pieter Abbeel

Symmetry is an important inductive bias that can improve model robustness and generalization across many deep learning domains. In multi-agent settings, a priori known symmetries have been shown to address a fundamental coordination failure…

多智能体系统 · 计算机科学 2025-03-13 Darius Muglich , Johannes Forkel , Elise van der Pol , Jakob Foerster

Recently, sketches have been introduced as a general language for representing the subgoal structure of instances drawn from the same domain. Sketches are collections of rules of the form C -> E over a given set of features where C…

人工智能 · 计算机科学 2022-03-29 Dominik Drexler , Jendrik Seipp , Hector Geffner