Semantic parsing of geometry statements using supervised machine learning on synthetic data. - Salwa Tabet Gonzalez; Stéphane Graham-Lengrand; Julien Narboux; Natarajan Shankar (CICM Workshops, 2021)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving. - Salwa Tabet Gonzalez; Predrag Janicic; Julien Narboux (ADG, 2023)