ResearchBenchmarksSAT Solving on Synthetic datasets Larger DistributionSAT Solving on Synthetic datasets Larger DistributionFollow9.13Success RateNSNet1.29883.33195.3657.3981Nov 7, 2022Evaluation resultsMethodMethodLinksSuccess Rate3-SAT AccuracyCA ScoreTotal ScoreNSNetSupervision=MarginalSupervision=Marginal2022.119.1312.078.089.76BPSupervision=N/ASupervision=N/A2022.115.977.186.596.58NSNetSupervision=AssignmentSupervision=Assignment2022.113.378.133.615.03NeuroSATSupervision=MarginalSupervision=Marginal2022.111.993.185.613.59NeuroSATSupervision=AssignmentSupervision=Assignment2022.111.62.521.641.92