Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Specification Generation in Geometry Formal Language on PGDP5K
Loading...
99
Likely Same (All)
PGDPNet
64.368
73.359
82.35
91.341
May 19, 2022
Likely Same (All)
Almost Same (All)
Perfect Recall (All)
Totally Same (All)
Likely Same (Geo2Geo)
Almost Same (Geo2Geo)
Perfect Recall (Geo2Geo)
Totally Same (Geo2Geo)
Likely Same (Non-geo 2Geo)
Almost Same (Non-geo 2Geo)
Perfect Recall (Non-geo 2Geo)
Totally Same (Non-geo 2Geo)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Likely Same (All)
Almost Same (All)
Perfect Recall (All)
Totally Same (All)
Likely Same (Geo2Geo)
Almost Same (Geo2Geo)
Perfect Recall (Geo2Geo)
Totally Same (Geo2Geo)
Likely Same (Non-geo 2Geo)
Almost Same (Non-geo 2Geo)
Perfect Recall (Non-geo 2Geo)
Totally Same (Non-geo 2Geo)
PGDPNet
GNN=true
2022.05
99
96.6
86.2
84.7
99
97.1
97.4
94.5
98
94.9
87
86.4
PGDPNet
GNN=false
2022.05
98.4
93.1
79.7
78.2
99.1
97.3
96.9
93.6
95.8
88.2
81.3
80.6
InterGPS
2022.05
65.7
44.4
40
27.3
63.9
49.4
78.7
40.8
67.3
49.8
45.7
40.5
Feedback
Search any
task
Search any
task
