List your company

ResearchFormerly WizWand

OpenMath

Benchmarks

TaskDatasetSOTA resultTrendResults

Mathematical Reasoning

OpenMath-Instruct

81.022Accuracy (Easy)

4

Cross-file dependency reuse analysis

OpenMath

16Formalization-reflected Edges

3

Semantic Correctness Evaluation

OpenMath

54Faithfulness

2