Invariant-based verification for enterprise software agents
A design framework for verifying task completion against business constraints and testing verifiers adversarially.
SimReal Research
Research
Exploring environment design, verifier reliability, and expert trajectories.
In progress
SimReal Research