ResearchBenchmarksSpecification Generation in Geometry Formal Language on IMP-Geometry3KFollow99.33All: Likely SamePGDPNet72.685279.602686.5293.4374May 19, 2022Evaluation ResultsMethodMethodLinksAll: Likely SameAll: Almost SameAll: Perfect RecallAll: Totally SameGeo2Geo: Likely SameGeo2Geo: Almost SameGeo2Geo: Perfect RecallGeo2Geo: Totally SameNon-geo 2Geo: Likely SameNon-geo 2Geo: Almost SameNon-geo 2Geo: Perfect RecallNon-geo 2Geo: Totally SamePGDPNetGNN=trueGNN=true2022.0599.3398.592.1891.5199.59999.1798.339996.0192.8592.85PGDPNetGNN=falseGNN=false2022.0599.1795.5181.0380.5399.6799.599.3398.8496.0189.3581.280.87InterGPS2022.0573.7150.0845.2634.2869.8856.2474.7147.5977.0459.0750.9248.59