Somin Kim, ROBERT H. FELDT, Shin Yoo · 2026 · arXiv (Cornell University)
DOI: 10.48550/arxiv.2610.28187 · cited by 0 works (OpenAlex) · open-access PDF
Pengujian semarter tanpa pengujian perangkat lunak berbasis LLM adalah mahal: setiap input membutuhkan beberapa jawaban sampel, masing-masing dinilai oleh oracle yang mahal. Selanjutnya, setiap prompt atau perubahan model mengundang untuk pengujian ulang. Tindakan ketepatan pra-generasi mengurangi biaya ini dengan peringkat input berdasarkan risiko kegagalan berdasarkan kondisi internal model. Namun, keadaan seni, Clotho, model yang hanya melewati input referensi, dan representasi kata kunci tersembunyi tidak mengatakan apa-apa tentang mengapa input gagal. Kami menyajikan Foreword, kerangka kerja spesifik yang dibangun pada dua ide: belajar dari kedua referensi yang melewati dan gagal, dan mewakili input melalui lensa Jacobian (J-lens), sebuah teknik interpretasi pada kasus pengujian yang menggunakan kepadatan prioritas (untuk referensi prioritas dan referensi ke semua kegagalan rata-rata
Machine translation (Meta M2M100); the English original follows.
Testing LLM-based software is expensive: each input needs several sampled responses, each judged by a costly oracle. Further, every prompt or model change calls for re-testing. Pre-generation adequacy measures cut this cost by ranking inputs by failure risk based on the model's internal state. However, the state of the art, Clotho, models only passing reference inputs, and its hidden-state representation says nothing about why inputs fail. We present Foreword, a framework built on two ideas: learn from both passing and failing references, and represent inputs through the Jacobian lens (J-lens), an interpretability technique that reads intermediate activations out as scores over vocabulary tokens. Foreword pairs these representations with two estimators: a sparse logistic-regression probe or dual Gaussian Mixture Models (dual GMMs), which also yield a reference density (to flag inputs the references do not cover) and failing-class components (to group similar failures). On ten tasks and three open-weight LLMs, all four combinations of representations and estimators outperform Clotho on average, both for prediction of failure (ROC-AUC improves by 0.14 on average and by up to 0.31) and test prioritisation (15% more failures among the 100 top-ranked inputs on average, up to 33%). Prioritisation obtained using small models also transfers better to proprietary models (on average 22% and up to 41% more failures in the first quarter of prioritised inputs). Importantly, our qualitative case study shows that Foreword supports semantic characterisation of failures by pointing to ambiguities in labels or task specifications. Combined, Foreword can support testers for prioritising inputs, checking support for a prediction, and characterising specific failures, all without generating output.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Interpretability, Computer science, Task (project management), Jacobian matrix and determinant, Artificial intelligence, Ranking (information retrieval)
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.28187, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange