ResearchBenchmarksSpecification Generation in Geometry Formal Language on PGDP5KFollow99Likely Same (All)PGDPNet64.36873.35982.3591.341May 19, 2022Evaluation ResultsMethodMethodLinksLikely 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)PGDPNetGNN=trueGNN=true2022.059996.686.284.79997.197.494.59894.98786.4PGDPNetGNN=falseGNN=false2022.0598.493.179.778.299.197.396.993.695.888.281.380.6InterGPS2022.0565.744.44027.363.949.478.740.867.349.845.740.5