Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Synth-Fold

Benchmarks

Task NameDataset NameSOTA ResultTrend
State AbstractionSynth-Fold
Abstract State Count5,000
7
Showing 1 of 1 rows