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

AdvancedMath

Benchmarks

Task Name	Dataset Name	SOTA Result	Trend
Autoformalization	AdvancedMath	Compilation Pass Rate@10100		28

Showing 1 of 1 rows

Popular tasks

Autoformalization

Follow for update

@wizwand_team Discord

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs