---
title: 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:

 - [Theory exploration benchmarks](/projects/repos/theory-exploration-benchmarks.html)
   This is a project to measure and compare the performance of different TE
   systems on a standard problem set.
 - [Haskell theory exploration](/projects/repos/haskell-te.html)
 - [MLSpec](/projects/repos/mlspec.html)