paper-with-me

홈 › Papers

Limitations of Membership Queries in Testable Learning

2025-12-01 · Jane Lange, Mingda Qiao arxiv

Membership queries (MQ) often yield speedups for learning tasks, particularly in the distribution-specific setting. We show that in the \emph{testable learning} model of Rubinfeld and Vasilyan [RV23], membership queries cannot decrease the time complexity of testable learning algorithms beyond the complexity of sample-only distribution-specific learning. In the testable learning model, the learner must output a hypothesis whenever the data distribution satisfies a desired property, and if it outputs a hypothesis, the hypothesis must be near-optimal. We give a general reduction from sample-based \emph{refutation} of boolean concept classes, as presented in [Vadhan17, KL18], to testable learning with queries (TL-Q). This yields lower bounds for TL-Q via the reduction from learning to refutation given in [KL18]. The result is that, relative to a concept class and a distribution family, no $m$-sample TL-Q algorithm can be super-polynomially more time-efficient than the best $m$-sample PAC learner. Finally, we define a class of ``statistical'' MQ algorithms that encompasses many known distribution-specific MQ learners, such as those based on influence estimation or subcube-conditional statistical queries. We show that TL-Q algorithms in this class imply efficient statistical-query refutation and learning algorithms. Thus, combined with known SQ dimension lower bounds, our results imply that these efficient membership query learners cannot be made testable.

📄 PDF Abstract BibTeX arXiv:2512.02279

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Learning Boolean Halfspaces with Small Weights from Membership Queries

2014-05-07 · Hasan Abasi, Ali Z. Abdi, Nader H. Bshouty

We consider the problem of proper learning a Boolean Halfspace with integer weights $\{0,1,\ldots,t\}$ from membership queries only. The best known algorithm for this problem is an adaptive algorithm that asks $n^{O(t^5)…

Testing Distributions Against Bounded Distinguishers

2026-07-17 · Mark Bun, Rathin Desai, Renato Ferreira Pinto arxiv

Motivated by the challenge of testing distributions over high-dimensional or continuous domains, we study distribution testing with respect to bounded classes of distinguishers. A representative task is to use samples fr…

Learning Disjunctions of Predicates

2017-06-15 · Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav

Let $F$ be a set of boolean functions. We present an algorithm for learning $F_\vee := \{\vee_{f\in S} f \mid S \subseteq F\}$ from membership queries. Our algorithm asks at most $|F| \cdot OPT(F_\vee)$ membership querie…

Program Synthesis

Modularity in Query-Based Concept Learning

2019-11-07 · Benjamin Caulfield, Sanjit A. Seshia

We define and study the problem of modular concept learning, that is, learning a concept that is a cross product of component concepts. If an element's membership in a concept depends solely on it's membership in the com…

Textual Membership Queries

2018-05-11 · Jonathan Zarecki, Shaul Markovitch

Human labeling of data can be very time-consuming and expensive, yet, in many cases it is critical for the success of the learning process. In order to minimize human labeling efforts, we propose a novel active learning …

Active LearningGeneral Classificationtext-classificationText Classification