Theory Exploration

Theory exploration is a research interest of mine. It’s also known as/related to conjecture synthesis/generation, and complements things like automated/interactive theorem proving, concept invention, etc.

Some links: