Salwa Tabet Gonzalez

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

Collaborative distances:

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

2024

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

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux

CoRR, 2024

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