Our new X account is live! Follow @wizwand_team for updates

JNH SAT

Benchmarks

Task Name	Dataset Name	SOTA Result	Trend
SAT Solving	JNH structured SAT family	MRPP r-tilde1.84		15

Showing 1 of 1 rows

Popular tasks

Follow for update

@wizwand_team Discord

© 2026 wizwand

Blog Contact Changelog

Privacy Policy Terms of Service FAQs