Large-scale verification of skills generated by RoboGen

Establish a method for verifying the skills generated by RoboGen at scale.

Background

RoboGen automates task proposal, scene construction, and supervision generation for robotic tasks. Because this automation can produce many candidate skills, the resulting skills require an efficient verification procedure before they can be reliably used or retained. The paper identifies scalable verification of these generated skills as unresolved.

References

RoboGen automates task proposal, scene construction, and supervision generation, and its authors note that verifying the resulting skills at scale remains an open problem.

— No Free Checker: A Survey of Verifiers for Robot Policies  (2609.09250 - Wan et al., 8 Sep 2026) in Section 3, subsection "Terminal-State Verification," paragraph "Synthetic data generation and filtering"

The lower block requires running a search against the verifier, which robotics has yet to do.

— No Free Checker: A Survey of Verifiers for Robot Policies  (2609.09250 - Wan et al., 8 Sep 2026) in Table 7, Section 7.4, subsection "Metrics for Validating a Verifier"