Theory Exploration: Automated Conjecturing for Programs and Proofs - Einarsdóttir, Sólrún (2025)