Using AI to aid automation of proof search in Formal Methods

Isabelle's development of the Heap by Leo Freitas (using sledgehammer). Each version is as described in the main technical report.

AI4FM proof process data is large (about 28GB) and is available upon request.

Go back to the top-level Heap page.