Login / Signup
Salwa Tabet Gonzalez
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Synthetic Data
Automated Theorem Provers
Supervised Machine Learning
Semantic Parsing
Top Venues
CoRR
CICM Workshops
</>
Publications
</>
Salwa Tabet Gonzalez
,
Predrag Janicic
,
Julien Narboux
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.
CoRR
(2024)
Salwa Tabet Gonzalez
,
Stéphane Graham-Lengrand
,
Julien Narboux
,
Natarajan Shankar
Semantic parsing of geometry statements using supervised machine learning on synthetic data.
CICM Workshops
(2021)