ResearchDatasetsAtomic CommitAtomic CommitFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsDistributed Protocol SynthesisAtomic Commit ac-4-270Success Rate3Distributed Protocol SynthesisAtomic Commit ac-4-1100Success Rate3Distributed Protocol SynthesisAtomic Commit ac-3-260Success Rate3Distributed Protocol SynthesisAtomic Commit ac-2-1100Success Rate3