HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Julien Narboux

Publications
Semantic Parsing of Geometry Statements Using Supervised Machine Learning on Synthetic Data
Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux and Natarajan Shankar
EasyChair Preprint 6414
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
Pierre Boutry, Gabriel Braun and Julien Narboux
In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science

Keyphrases

arithmetization, Coq, formalization, geometry2, semantic parsing, sequence-to-sequence model, synthetic data, Tarski's system of geometry, type checking.

Copyright © 2012-2025 easychair.org. All rights reserved.