Salwa Tabet Gonzalez

According to our database, Salwa Tabet Gonzalez authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021

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

Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021