paper-with-me

Papers

Spot Check Equivalence: an Interpretable Metric for Information Elicitation Mechanisms

2024-02-21 · Shengwei Xu, Yichi Zhang, Paul Resnick, Grant Schoenebeck

Because high-quality data is like oxygen for AI systems, effectively eliciting information from crowdsourcing workers has become a first-order problem for developing high-performance machine learning algorithms. Two prevalent paradigms, spot-checking and peer prediction, enable the design of mechanisms to evaluate and incentivize high-quality data from human labelers. So far, at least three metrics have been proposed to compare the performances of these techniques [33, 8, 3]. However, different metrics lead to divergent and even contradictory results in various contexts. In this paper, we harmonize these divergent stories, showing that two of these metrics are actually the same within certain contexts and explain the divergence of the third. Moreover, we unify these different contexts by introducing \textit{Spot Check Equivalence}, which offers an interpretable metric for the effectiveness of a peer prediction mechanism. Finally, we present two approaches to compute spot check equivalence in various contexts, where simulation results verify the effectiveness of our proposed metric.

📄 PDF Abstract BibTeX arXiv:2402.13567

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Reference-Specific Unlearning Metrics Can Hide the Truth: A Reality Check

2025-10-14 · Sungjun Cho, Dasol Hwang, Frederic Sala, Sangheum Hwang 외 arxiv

Current unlearning metrics for generative models evaluate success based on reference responses or classifier outputs rather than assessing the core objective: whether the unlearned model behaves indistinguishably from a …

Strong Equivalence for LPMLN Programs

2019-09-18 · Joohyung Lee, Man Luo

LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful mathematical tool for simplifying a part …

On Neural Network Equivalence Checking using SMT Solvers

2022-03-22 · Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis

Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its utility in replacing learning-enabled com…

Knowledge Distillation

Fast, Fine-Grained Equivalence Checking for Neural Decompilers

2025-01-08 · Luke Dramko, Claire Le Goues, Edward J. Schwartz

Neural decompilers are machine learning models that reconstruct the source code from an executable program. Critical to the lifecycle of any machine learning model is an evaluation of its effectiveness. However, existing…

Can the Rookies Cut the Tough Cookie? Exploring the Use of LLMs for SQL Equivalence Checking

2024-12-07 · Rajat Singh, Srikanta Bedathur

Equivalence checking of SQL queries is an intractable problem often encountered in settings ranging from grading SQL submissions to debugging query optimizers. Despite recent work toward developing practical solutions, o…

In-Context Learning