works on
agent evaluation 1benchmark transfer 1dynamic claim-level evaluation 1expert-grounded assessment 1open-ended professional tasks 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing

Seth Wolfgang, Lan Lin, Fengguang Song

Sequence-based specification and usage-driven statistical testing are designed for rigorous and cost-effective software development, offering a semi-formal approach to assessing th…