ResearchBenchmarksFormal Verification on Document Sharing workflowFormal Verification on Document Sharing workflowFollow100Hidden Transition Discovery RateSemantic Gateway-4235077Apr 28, 2026Evaluation resultsMethodMethodLinksHidden Transition Discovery RateSemantic Gateway2026.04100REST Baseline2026.040