中文
相关论文

相关论文: Optimal Learning of Specifications from Examples

200 篇论文

As machine learning is increasingly used to help make decisions, there is a demand for these decisions to be explainable. Arguably, the most explainable machine learning models use decision rules. This paper focuses on decision sets, a type…

人工智能 · 计算机科学 2020-07-31 Jinqiang Yu , Alexey Ignatiev , Peter J. Stuckey , Pierre Le Bodic

We consider joint optimization and learning problems arising in real-time decision systems. While most existing work focuses primarily on convex, revenue-based objectives, we extend this line of research to multi-objective formulations. In…

最优化与控制 · 数学 2026-04-14 Zijun Li , Aswin Kannan

In the synthesis model signals are represented as a sparse combinations of atoms from a dictionary. Dictionary learning describes the acquisition process of the underlying dictionary for a given set of training samples. While ideally this…

Due to the falling costs of data acquisition and storage, researchers and industry analysts often want to find all instances of rare events in large datasets. For instance, scientists can cheaply capture thousands of hours of video, but are…

数据库 · 计算机科学 2022-01-05 Daniel Kang , Edward Gan , Peter Bailis , Tatsunori Hashimoto , Matei Zaharia

The idea that many important classes of signals can be well-represented by linear combinations of a small set of atoms selected from a given dictionary has had dramatic impact on the theory and practice of signal processing. For practical…

信息论 · 计算机科学 2015-03-18 Quan Geng , Huan Wang , John Wright

Selection of perefect parameters for low-pass filters can sometimes be an expensive problem with no analytical solution or differentiability of cost function. In this paper, we introduce a new PSO-inspired algorithm, that incorporates the…

最优化与控制 · 数学 2024-02-20 Dmytro Shchyrba , Izabela Paniczek

This paper provides a theoretical analysis of a new learning problem for recommender systems where users provide feedback by comparing pairs of items instead of rating them individually. We assume that comparisons stem from latent user and…

机器学习 · 计算机科学 2025-08-20 Suryanarayana Sankagiri , Jalal Etesami , Matthias Grossglauser

A dictionary is a database of standard vectors, so that other vectors / signals are expressed as linear combinations of dictionary vectors, and the task of learning a dictionary for a given data is to find a good dictionary so that the…

机器学习 · 计算机科学 2020-07-09 Mohammed Rayyan Sheriff , Debasish Chatterjee

In this workshop, we present a compact but rigorous introduction to the basic language of nonlinear programming, variational inequalities, and complementarity systems. The goal is twofold. First, we explain the mathematical logic of…

最优化与控制 · 数学 2026-04-24 Jiguang Yu

Bayesian reward learning from demonstrations enables rigorous safety and uncertainty analysis when performing imitation learning. However, Bayesian reward learning methods are typically computationally intractable for complex control…

机器学习 · 计算机科学 2020-12-21 Daniel S. Brown , Russell Coleman , Ravi Srinivasan , Scott Niekum

We study sparse principal component analysis in the high-dimensional, sample-limited regime, aiming to recover a leading component supported on a few coordinates. Despite extensive progress, most methods and analyses are tailored to the…

信息论 · 计算机科学 2025-12-18 Mengchu Xu , Jian Wang , Yonina C. Eldar

Data driven models of dynamical systems help planners and controllers to provide more precise and accurate motions. Most model learning algorithms will try to minimize a loss function between the observed data and the model's predictions.…

人工智能 · 计算机科学 2021-02-12 Clark Zhang , Santiago Paternain , Alejandro Ribeiro

In many real world applications of machine learning, models have to meet certain domain-based requirements that can be expressed as constraints (e.g., safety-critical constraints in autonomous driving systems). Such constraints are often…

机器学习 · 计算机科学 2022-06-20 Kshitij Goyal , Sebastijan Dumancic , Hendrik Blockeel

Uncertainty estimation is critical in high-stakes machine learning applications. One effective way to estimate uncertainty is conformal prediction, which can provide predictive inference with statistical coverage guarantees. We present a…

机器学习 · 计算机科学 2023-11-03 Nathaniel Diamant , Ehsan Hajiramezanali , Tommaso Biancalani , Gabriele Scalia

An algorithm is proposed, analyzed, and tested for solving continuous nonlinear-equality-constrained optimization problems where the objective and constraint functions are defined by expectations or averages over large, finite numbers of…

最优化与控制 · 数学 2026-05-14 Frank E. Curtis , Lingjun Guo , Daniel P. Robinson

In recent years, deep learning techniques have been developed to improve the performance of program synthesis from input-output examples. Albeit its significant progress, the programs that can be synthesized by state-of-the-art approaches…

机器学习 · 计算机科学 2018-03-09 Xinyun Chen , Chang Liu , Dawn Song

Learning to optimize has emerged as a powerful framework for various optimization and machine learning tasks. Current such "meta-optimizers" often learn in the space of continuous optimization algorithms that are point-based and…

机器学习 · 计算机科学 2019-11-19 Yue Cao , Tianlong Chen , Zhangyang Wang , Yang Shen

A supervised learning algorithm has access to a distribution of labeled examples, and needs to return a function (hypothesis) that correctly labels the examples. The hypothesis of the learner is taken from some fixed class of functions…

机器学习 · 计算机科学 2020-08-25 Eran Malach , Shai Shalev-Shwartz

Learning by self-explanation is an effective learning technique in human learning, where students explain a learned topic to themselves for deepening their understanding of this topic. It is interesting to investigate whether this…

机器学习 · 计算机科学 2021-03-12 Ramtin Hosseini , Pengtao Xie

We consider the problem of estimating the expected value of information (the knowledge gradient) for Bayesian learning problems where the belief model is nonlinear in the parameters. Our goal is to maximize some metric, while simultaneously…

机器学习 · 统计学 2016-11-23 Xinyu He , Warren B. Powell