Skip to content
Preprint

TESTNAV: Pareto-Guided Search for Compositional Robustness Testing

Aug 2026 · 0 citations · 35 references
Computer Science

TL;DR

TESTNAV prioritises severe yet realistic failures by formulating robustness testing as bi-objective optimisation: maximise performance degradation while preserving input fidelity measured by modality-specific metrics.

Abstract

Deep learning models remain vulnerable to real-world input perturbations, especially when multiple corruptions co-occur in the same input (e.g., brightness shifts and motion blur). Compositional testing reveals these interaction effects but introduces two challenges: combinatorial growth of the perturbation space as dimensions and severity levels increase, and uneven diagnostic value-many combinations yield unrealistically degraded inputs with limited practical relevance. We present TESTNAV, 1 a Pareto-guided robustness testing framework for efficiently exploring discrete, compositional perturbation spaces when only a limited number of perturbation configurations can be evaluated. TESTNAV prioritises severe yet realistic failures by formulating robustness testing as bi-objective optimisation: maximise performance degradation while preserving input fidelity measured by modality-specific metrics (e.g., SSIM and KID for vision; chrF and BERT-F1 for language and code). It uses NSGA-II to approximate the bi-objective Pareto front. Across four benchmarks spanning vision, natural language, and code generation, TESTNAV recovers Pareto fronts up to 2.15x faster than search-based baselines, using 35.8%-89.3% of the discrete perturbation space defined by four perturbation dimensions with six levels each.

View source

Similar papers

Preprint Jul 2026

LEMUR 2: Unlocking Neural Network Diversity for AI

This dataset defines a new basis for reproducible and data-driven AI design, advancing the emerging paradigm of LLM-driven AutoML and architectural generalization across modalities and hardware.

Tolgay Atinc Uzun, Waleed Khalid, Saif U Din et al. · 19 citations
Preprint Jul 2026

Generative Refinement for Low-Budget Black-Box Optimization

Black-box optimization is a fundamental science and engineering tool that makes it possible to optimize objectives without gradient information. Unfortunately, as it often requires many function evaluations, it can be challenging when each one is costly. This is especially true when the evaluation function is noisy or...

Edouard R. Dufour, Pascal Fua · 0 citations
Preprint Aug 2026

CHORUS: Complementary Experts for High-Coverage Testbench Stimulus Generation

CHORUS is presented, a post-training framework that pushes performance beyond what a conventional supervised fine-tuning (SFT)-to-reinforcement learning (RL) pipeline achieves, and consolidates the resulting specialists into a single 4B model.

He-Jia Zhang, Sheng Lu, Zhongming Yu et al. · 0 citations

Scaling Test-Time Compute via Generative Verification in Constrained Parameter Regimes

This project investigates scaling test-time compute through a Generative Verifier (GV) on the Countdown mathematical reasoning task using a computationally constrained 0.5B parameter regime, hypothesizing that the “verification gap” will widen at higher values of N due to the model’s limited semantic capacity.

Mohammad Rehan Ghori · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.