ResearchBenchmarksProbabilistic Verification on ATBenchFollow303Average Latency (ms)SDP26.041,895.523,7655,634.48Jun 18, 2026Evaluation ResultsMethodMethodLinksAverage Latency (ms)SDP2026.06303Praline2026.067,227