no code implementations • 22 Jan 2024 • Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
We present and discuss different approaches for the automatic discovery of geometric theorems (and properties), and different metrics to find the interesting theorems among all those that were generated.