Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Specification Generation in Geometry Formal Language on IMP-Geometry3K
Loading...
99.33
All: Likely Same
PGDPNet
72.6852
79.6026
86.52
93.4374
May 19, 2022
All: Likely Same
All: Almost Same
All: Perfect Recall
All: Totally Same
Geo2Geo: Likely Same
Geo2Geo: Almost Same
Geo2Geo: Perfect Recall
Geo2Geo: Totally Same
Non-geo 2Geo: Likely Same
Non-geo 2Geo: Almost Same
Non-geo 2Geo: Perfect Recall
Non-geo 2Geo: Totally Same
Updated 4d ago
Evaluation Results
Method
Method
Links
All: Likely Same
All: Almost Same
All: Perfect Recall
All: Totally Same
Geo2Geo: Likely Same
Geo2Geo: Almost Same
Geo2Geo: Perfect Recall
Geo2Geo: Totally Same
Non-geo 2Geo: Likely Same
Non-geo 2Geo: Almost Same
Non-geo 2Geo: Perfect Recall
Non-geo 2Geo: Totally Same
PGDPNet
GNN=true
2022.05
99.33
98.5
92.18
91.51
99.5
99
99.17
98.33
99
96.01
92.85
92.85
PGDPNet
GNN=false
2022.05
99.17
95.51
81.03
80.53
99.67
99.5
99.33
98.84
96.01
89.35
81.2
80.87
InterGPS
2022.05
73.71
50.08
45.26
34.28
69.88
56.24
74.71
47.59
77.04
59.07
50.92
48.59
Feedback
Search any
task
Search any
task
