List your company

ResearchFormerly WizWand

AbstractAlgebra

Benchmarks

TaskDatasetSOTA resultTrendResults

Formal Theorem Proving

AbstractAlgebra (total)

64Accuracy

4

Formal Theorem Proving

AbstractAlgebra intermediate

56Accuracy

4

Formal Theorem Proving

AbstractAlgebra easy

72Accuracy

4