MANTRA는 자연어 매뉴얼과 도구 스키마로부터 기계 검증 가능한 준수 벤치마크를 자동으로 합성하는 프레임워크입니다. MANTRA는 절차적 의존성을 포착하는 기호 세계 모델과 준수 검사를 생성하고 SMT 해결을 통해 일관성을 검증합니다. MANTRA를 사용하여 6개 도메인에 걸쳐 285개의 작업으로 구성된 새로운 벤치마크를 구축했으며, 기존 벤치마크보다 강력한 제약 조건 강제력을 가진 준수 검사를 수행했습니다.