English
Related papers

Related papers: A Benchmark Generator for Combinatorial Testing

200 papers

Benchmarks play a significant role in how technology companies communicate about model capabilities and how researchers and the public understand generative AI systems. However, existing benchmarks have been criticized for their failure to…

Human-Computer Interaction · Computer Science 2026-04-29 Charlotte Li , Nick Hagar , Sachita Nishal , Jeremy Gilbert , Nick Diakopoulos

The task of Critical Questions Generation (CQs-Gen) aims to foster critical thinking by enabling systems to generate questions that expose underlying assumptions and challenge the validity of argumentative reasoning structures. Despite…

Computation and Language · Computer Science 2025-09-24 Banca Calvo Figueras , Rodrigo Agerri

We hypothesize that the absence of a standardized benchmark has allowed several fundamental pitfalls in GNN System design and evaluation that the community has overlooked. In this work, we propose GNNBench, a plug-and-play benchmarking…

Machine Learning · Computer Science 2024-04-08 Yidong Gong , Pradeep Kumar

In the AI community, benchmarks to evaluate model quality are well established, but an equivalent approach to benchmarking products built upon generative AI models is still missing. This has had two consequences. First, it has made teams…

Software Engineering · Computer Science 2025-04-17 Elise Paradis , Ambar Murillo , Maulishree Pandey , Sarah D'Angelo , Matthew Hughes , Andrew Macvean , Ben Ferrari-Church

Randomized benchmarking is a useful scheme for evaluation the average fidelity of a noisy quantum circuit. However, it is insensitive to the unitary error. Here, we propose a method of randomized benchmarking in which a unitary t-design is…

Quantum Physics · Physics 2017-12-13 Linxi Zhang , Chuanghua Zhu , Changxing Pei

Randomized benchmarking provides a tool for obtaining precise quantitative estimates of the average error rate of a physical quantum channel. Here we define real randomized benchmarking, which enables a separate determination of the average…

Quantum Physics · Physics 2018-08-23 A. K. Hashagen , S. T. Flammia , D. Gross , J. J. Wallman

We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The question of whether it is possible to design a single test…

Systems and Control · Electrical Eng. & Systems 2022-04-07 Josefine Graebener , Apurva Badithela , Richard M. Murray

Most of the existing quantum neural network models, such as variational quantum circuits (VQCs), are limited in their ability to explore the non-linear relationships in input data. This gradually becomes the main obstacle for it to tackle…

Quantum Physics · Physics 2024-02-14 Jinyang Li , Ang Li , Weiwen Jiang

Test equating using covariates may be applied to provide comparable scores from multiple test forms when no anchor items are available. However, its performance may be compromised if some of the covariates themselves are measured using…

Methodology · Statistics 2026-05-28 Michaela Vařejková , Patrícia Martinková , Eva Potužníková

Reference models convey best practices and standards. The reference frameworks necessitate conformance checks to ensure adherence to established guidelines and principles, which is crucial for maintaining quality and consistency in various…

Software Engineering · Computer Science 2025-09-30 Bernhard Rumpe , Max Stachon , Sebastian Stüber , Valdes Voufo

Engineers in the manufacturing industries have used accelerated test (AT) experiments for many decades. The purpose of AT experiments is to acquire reliability information quickly. Test units of a material, component, subsystem or entire…

Methodology · Statistics 2007-08-03 Luis A. Escobar , William Q. Meeker

Test pattern generation is an electronic design automation tool that attempts to find an input (or test) sequence that, when applied to a digital circuit, enables one to distinguish between the correct circuit behavior and the faulty…

Quantum Physics · Physics 2010-09-21 Jacob Biamonte , Marek Perkowski

In the recent past, the computer vision community has developed centralized benchmarks for the performance evaluation of a variety of tasks, including generic object and pedestrian detection, 3D reconstruction, optical flow, single-object…

Computer Vision and Pattern Recognition · Computer Science 2015-04-09 Laura Leal-Taixé , Anton Milan , Ian Reid , Stefan Roth , Konrad Schindler

Generative AI (GAI) tools have seen rapid adoption in educational settings, yet their role in fostering critical thinking remains underexplored. While previous studies have examined GAI as a tutor for specific lessons or as a tool for…

Computers and Society · Computer Science 2025-09-10 W. F. Lamberti , S. R. Lawrence , D. White , S. Kim , S. Abdullah

Counterfactual explanations are viewed as an effective way to explain machine learning predictions. This interest is reflected by a relatively young literature with already dozens of algorithms aiming to generate such explanations. These…

Machine Learning · Computer Science 2022-12-05 Raphael Mazzine , David Martens

Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their…

Software Engineering · Computer Science 2022-04-13 Fabiano Pecorelli , Giovanni Grano , Fabio Palomba , Harald C. Gall , Andrea De Lucia

The automatic synthesis of analog circuits presents significant challenges. Most existing approaches formulate the problem as a single-objective optimization task, overlooking that design specifications for a given circuit type vary widely…

Machine Learning · Computer Science 2026-05-27 Yuxuan Hou , Hehe Fan , Jianrong Zhang , Yue Zhang , Hua Chen , Min Zhou , Faxin Yu , Roger Zimmermann , Yi Yang

The ability to research and synthesize knowledge is central to human expertise and progress. A new class of AI systems--designed for generative research synthesis--aims to automate this process by retrieving information from the live web…

Computation and Language · Computer Science 2026-02-10 Liana Patel , Negar Arabzadeh , Harshit Gupta , Ankita Sundar , Ion Stoica , Matei Zaharia , Carlos Guestrin

As quantum technology matures, the efficient benchmarking of quantum devices remains a key challenge. Although sample-efficient, information-theoretic benchmarking techniques have recently been proposed, there is still a gap in adapting…

Quantum Physics · Physics 2025-10-22 Ana Silva , Eliska Greplova

Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on two key factors: the quality of constraints used to…

Logic in Computer Science · Computer Science 2014-03-26 Supratik Chakraborty , Kuldeep S. Meel , Moshe Y. Vardi