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

CoqGym

Benchmarks

Task Name	Dataset Name	SOTA Result	Trend
Automated Theorem Proving	CoqGym (test)	Success Rate30		9

Showing 1 of 1 rows

Popular tasks

Automated Theorem Proving

Follow for update

@wizwand_team Discord

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs