Machine-Checked Categorical Diagrammatic Reasoning.

Benoît Guillemet Assia Mahboubi Matthieu Piquerez

Published in: CoRR (2024)

Keyphrases

diagrammatic reasoning
symbolic reasoning
structural analysis
human problem solving
computational model
data mining
three dimensional
artificial neural networks