paper-with-me

Papers

Agnostic Learning by Refuting

2017-09-12 · Pravesh K. Kothari, Roi Livni

The sample complexity of learning a Boolean-valued function class is precisely characterized by its Rademacher complexity. This has little bearing, however, on the sample complexity of \emph{efficient} agnostic learning. We introduce \emph{refutation complexity}, a natural computational analog of Rademacher complexity of a Boolean concept class and show that it exactly characterizes the sample complexity of \emph{efficient} agnostic learning. Informally, refutation complexity of a class $\mathcal{C}$ is the minimum number of example-label pairs required to efficiently distinguish between the case that the labels correlate with the evaluation of some member of $\mathcal{C}$ (\emph{structure}) and the case where the labels are i.i.d. Rademacher random variables (\emph{noise}). The easy direction of this relationship was implicitly used in the recent framework for improper PAC learning lower bounds of Daniely and co-authors via connections to the hardness of refuting random constraint satisfaction problems. Our work can be seen as making the relationship between agnostic learning and refutation implicit in their work into an explicit equivalence. In a recent, independent work, Salil Vadhan discovered a similar relationship between refutation and PAC-learning in the realizable (i.e. noiseless) case.

📄 PDF Abstract BibTeX arXiv:1709.03871

Code (0)

등록된 구현이 없습니다.

Tasks

PAC learning

Similar Papers 제목 키워드 기반

Complexity theoretic limitations on learning DNF's

2014-04-13 · Amit Daniely, Shai Shalev-Shwatz

Using the recently developed framework of [Daniely et al, 2014], we show that under a natural assumption on the complexity of refuting random K-SAT formulas, learning DNF formulas is hard. Furthermore, the same assumptio…

RefuteBench: Evaluating Refuting Instruction-Following for Large Language Models

2024-02-21 · Jianhao Yan, Yun Luo, Yue Zhang

The application scope of large language models (LLMs) is increasingly expanding. In practical use, users might provide feedback based on the model's output, hoping for a responsive model that can complete responses accor…

Instruction FollowingMachine TranslationQuestion Answering

Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory

2023-06-13 · Valentino Vito, Lim Yohanes Stefanus

Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures.…

COVID-19 Claim Radar: A Structured Claim Extraction and Tracking System

2022-05-01 · ACL 2022 5 · Manling Li, Revanth Gangi Reddy, Ziqi Wang, Yi-shyuan Chiang 외

To tackle the challenge of accurate and timely communication regarding the COVID-19 pandemic, we present a COVID-19 Claim Radar to automatically extract supporting and refuting claims on a daily basis. We provide a compr…

LLM-based Corroborating and Refuting Evidence Retrieval for Scientific Claim Verification

2025-03-11 · Siyuan Wang, James R. Foulds, Md Osman Gani, SHimei Pan

In this paper, we introduce CIBER (Claim Investigation Based on Evidence Retrieval), an extension of the Retrieval-Augmented Generation (RAG) framework designed to identify corroborating and refuting documents as evidenc…

Claim VerificationRAGRetrievalRetrieval-augmented Generation