Search Results for author: Brendan Juba

Found 22 papers, 4 papers with code

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version

no code implementations22 Mar 2024 Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba

We prove that learning non-trivial safe action models with conditional effects may require an exponential number of samples.

Distribution-Specific Auditing For Subgroup Fairness

no code implementations27 Jan 2024 Daniel Hsu, Jizhou Huang, Brendan Juba

In this work, we give positive and negative results on auditing for Gaussian distributions: On the positive side, we present an alternative approach to leverage these advances in agnostic learning and thereby obtain the first polynomial-time approximation scheme (PTAS) for auditing nontrivial combinatorial subgroup fairness: we show how to audit statistical notions of fairness over homogeneous halfspace subgroups when the features are Gaussian.

Fairness

Learnability with PAC Semantics for Multi-agent Beliefs

no code implementations8 Jun 2023 Ionela G. Mocanu, Vaishak Belle, Brendan Juba

To circumvent the negative results in the literature on the difficulty of robust learning with the PAC semantics, we consider so-called implicit learning where we are able to incorporate observations to the background theory in service of deciding the entailment of an epistemic query.

PAC learning Philosophy

Hardness of Maximum Likelihood Learning of DPPs

no code implementations24 May 2022 Elena Grigorescu, Brendan Juba, Karl Wimmer, Ning Xie

In seminal work on DPPs in Machine Learning, Kulesza conjectured in his PhD Thesis (2011) that the problem of finding a maximum likelihood DPP model for a given data set is NP-complete.

graph construction Point Processes

An Example of the SAM+ Algorithm for Learning Action Models for Stochastic Worlds

no code implementations23 Mar 2022 Brendan Juba, Roni Stern

In this technical report, we provide a complete example of running the SAM+ algorithm, an algorithm for learning stochastic planning action models, on a simplified PPDDL version of the Coffee problem.

Conditional Linear Regression for Heterogeneous Covariances

no code implementations15 Nov 2021 Brendan Juba, Leda Liang

Often machine learning and statistical models will attempt to describe the majority of the data.

regression

Provable hierarchical lifelong learning with a sketch-based modular architecture

no code implementations29 Sep 2021 Rina Panigrahy, Brendan Juba, Zihao Deng, Xin Wang, Zee Fryer

We propose a modular architecture for lifelong learning of hierarchically structured tasks.

Polynomial Time Reinforcement Learning in Factored State MDPs with Linear Value Functions

no code implementations12 Jul 2021 Zihao Deng, Siddartha Devic, Brendan Juba

Many reinforcement learning (RL) environments in practice feature enormous state spaces that may be described compactly by a "factored" structure, that may be modeled by Factored Markov Decision Processes (FMDPs).

reinforcement-learning Reinforcement Learning (RL)

Safe Learning of Lifted Action Models

1 code implementation9 Jul 2021 Brendan Juba, Hai S. Le, Roni Stern

However, model learning approaches frequently do not provide safety guarantees: the learned model may assume actions are applicable when they are not, and may incorrectly capture actions' effects.

Probabilistic Generating Circuits

1 code implementation19 Feb 2021 Honghua Zhang, Brendan Juba, Guy Van Den Broeck

Generating functions, which are widely used in combinatorics and probability theory, encode function values into the coefficients of a polynomial.

Density Estimation Point Processes

Learning Implicitly with Noisy Data in Linear Arithmetic

1 code implementation23 Oct 2020 Alexander P. Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba

In this work, we extend implicit learning in PAC-Semantics to handle noisy data in the form of intervals and threshold uncertainty in the language of linear arithmetic.

Query-driven PAC-Learning for Reasoning

no code implementations24 Jun 2019 Brendan Juba

We consider the problem of learning rules from a data set that support a proof of a given query, under Valiant's PAC-Semantics.

PAC learning

Implicitly Learning to Reason in First-Order Logic

no code implementations NeurIPS 2019 Vaishak Belle, Brendan Juba

We consider the problem of answering queries about formulas of first-order logic based on background knowledge partially represented explicitly as other formulas, and partially represented as examples independently drawn from a fixed probability distribution.

Polynomial-time probabilistic reasoning with partial observations via implicit learning in probability logics

no code implementations28 Jun 2018 Brendan Juba

In this work we consider the use of bounded-degree fragments of the "sum-of-squares" logic as a probability logic.

Conditional Sparse $\ell_p$-norm Regression With Optimal Probability

no code implementations26 Jun 2018 John Hainline, Brendan Juba, Hai S. Le, David Woodruff

We consider the following conditional linear regression problem: the task is to identify both (i) a $k$-DNF condition $c$ and (ii) a linear rule $f$ such that the probability of $c$ is (approximately) at least some given bound $\mu$, and $f$ minimizes the $\ell_p$ loss of predicting the target $z$ in the distribution of examples conditioned on $c$.

regression

Conditional Linear Regression

1 code implementation6 Jun 2018 Diego Calderon, Brendan Juba, Sirui Li, Zongyi Li, Lisa Ruan

Work in machine learning and statistics commonly focuses on building models that capture the vast majority of data, possibly ignoring a segment of the population as outliers.

regression

Learning Abduction under Partial Observability

no code implementations13 Nov 2017 Brendan Juba, Zongyi Li, Evan Miller

The main shortcoming of this formulation of the task is that it assumes access to full-information (i. e., fully specified) examples; relatedly, it offers no role for declarative background knowledge, as such knowledge is rendered redundant in the abduction task by complete information.

valid

Efficient, Safe, and Probably Approximately Complete Learning of Action Models

no code implementations24 May 2017 Roni Stern, Brendan Juba

In this paper we explore the theoretical boundaries of planning in a setting where no model of the agent's actions is given.

Conditional Sparse Linear Regression

no code implementations18 Aug 2016 Brendan Juba

Machine learning and statistics typically focus on building models that capture the vast majority of the data, possibly ignoring a small subset of data as "noise" or "outliers."

regression

PAC Quasi-automatizability of Resolution over Restricted Distributions

no code implementations16 Apr 2013 Brendan Juba

The learning setting we consider is a partial-information, restricted-distribution setting that generalizes learning parities over the uniform distribution from partial information, another task that is known not to be achievable directly in various models (cf.

Two-sample testing

Cannot find the paper you are looking for? You can Submit a new open access paper.