27 citations · 51 across the 5 of their papers we have counts for
5 papers
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Ludovic Font, Sébastien Cyr, Philippe R. Richard +1
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipa…
Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
François Menet, Paul Berthier, José M. Fernandez +1
Deep learning models are vulnerable to adversarial examples which are input samples modified in order to maximize the error on the system. We introduce Spartan Networks, resistant…
An Analysis of the Semantic Annotation Task on the Linked Data Cloud
Gagnon Michel, Zouaq Amal, Aranha Francisco +2
Semantic annotation, the process of identifying key-phrases in texts and linking them to concepts in a knowledge base, is an important basis for semantic information retrieval and…
Improving QED-Tutrix by Automating the Generation of Proofs
Ludovic Font, Philippe R. Richard, Michel Gagnon
The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative sof…
Automatic Summarization System coupled with a Question-Answering System (QAAS)
Juan-Manuel Torres-Moreno, Pier-Luc St-Onge, Michel Gagnon +2
To select the most relevant sentences of a document, it uses an optimal decision algorithm that combines several metrics. The metrics processes, weighting and extract pertinence se…