Semantic parsing of geometry statements using supervised machine learning on synthetic data

Salwa Tabet Gonzalez (1, 2) , Stéphane Graham-Lengrand (1) , Julien Narboux (2) , Natarajan Shankar (1)

1 SRI - SRI International [Menlo Park]
2 ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie

Mots clés: natural language; geometry; machine learning; formalization

Domaines: Logiciel mathématique [cs.MS]; Ingénierie assistée par ordinateur; Logique en informatique [cs.LO]

Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar. Semantic parsing of geometry statements using supervised machine learning on synthetic data. NatFoM 2021 - CICM Workshop, Peter Koepke, Bonn; Dennis Müller, Erlangen, Jul 2021, Timisoara, Romania. ⟨hal-03327994⟩