Logipedia: a multi-system encyclopedia of formal proofs.

Gilles Dowek François Thiré

Published in: CoRR (2023)

Keyphrases

formal proofs
real time
data sets
real world
special case
machine learning
three dimensional
similarity measure
cooperative
object recognition
artificial neural networks