Refusal Is Not a Result: Vera Tests What Agents Actually Changed
Vera reframes agent safety evaluation as reproducible software testing built around observable effects, adaptive attacks, and deterministic verification.
Vera reframes agent safety evaluation as reproducible software testing built around observable effects, adaptive attacks, and deterministic verification.
DramaSR-532K shows that multimodal reasoning is most valuable when acoustic speaker attribution becomes uncertain, not as a replacement for the acoustic pipeline.
SemaDiff shows how generated cross-version callers can turn refactoring review from a structural guess into high-precision behavioral evidence.
MMIR-TCM shows how staged perception, reporting, and retrieval can support auditable TCM assistance—without establishing autonomous prescribing.
Static code metrics barely predict Java method energy use; lightweight execution timing offers a better signal, but not a production-grade energy meter.
RSF-GLLM shows how a dedicated graph reasoner can traverse weakly related bridge entities, expose auditable evidence paths, and reduce reliance on repeated LLM calls.
DUPO shows why delayed controllers should evaluate actions across several plausible current states instead of trusting one reconstructed present.
A controlled model-merging study shows why expert checkpoints should be selected jointly with the merge operator rather than fixed by standalone validation loss.
A multi-cluster MiniLM gate improves out-of-scope rejection, while exposing why rejection and intent classification should be evaluated separately.
Visual Semantic Entropy detects visual instability that repeated VLM answers and joint image-text perturbations can conceal.