Picture for Michel Gagnon

Michel Gagnon

École Polytechnique de Montréal

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

Add code
Feb 28, 2020
Figure 1 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 2 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 3 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 4 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Viaarxiv icon

Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings

Add code
Dec 17, 2018
Figure 1 for Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Figure 2 for Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Figure 3 for Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Figure 4 for Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Viaarxiv icon

Improving QED-Tutrix by Automating the Generation of Proofs

Add code
Mar 05, 2018
Figure 1 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 2 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 3 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 4 for Improving QED-Tutrix by Automating the Generation of Proofs
Viaarxiv icon

Automatic Summarization System coupled with a Question-Answering System (QAAS)

Add code
May 18, 2009
Figure 1 for Automatic Summarization System coupled with a Question-Answering System (QAAS)
Figure 2 for Automatic Summarization System coupled with a Question-Answering System (QAAS)
Figure 3 for Automatic Summarization System coupled with a Question-Answering System (QAAS)
Figure 4 for Automatic Summarization System coupled with a Question-Answering System (QAAS)
Viaarxiv icon