Research

02 / Research direction

Data-Driven Reliability and Verification

Stress testing, verification, and input-space construction for learned models used in constrained settings.

This direction focuses on making model behavior inspectable before learned components enter reliability-critical workflows.

LEVIS paper figure showing verifiable input spaces for neural networks
Representative visual from a related paper.

Papers

Related work in this direction

4 papers connected to this topic.