Share your thoughts, 1 month free Claude Pro on us
See more
Feedback
Search any
task
Search any
task
SOTA Multi-step theorem prediction benchmarks and papers with code | Wizwand
Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Tasks
Multi-step theorem prediction
Benchmarks
Dataset Name
SOTA Method
Dataset Name
SOTA Method
Metric
Trend
Results
Last Updated
FormalGeo7K (test)
Pri-TPG
Total Accuracy
89.29
17
1mo ago
GeoQA
FGeo-HyperGNet
Accuracy
85.64
4
1mo ago
Geometry3K
Pri-TPG
Accuracy
95.16
3
1mo ago
Showing 3 of 3 rows
25 / page
50 / page
100 / page
1
Search any
task
Search any
task