Into the Infinite - Theory Exploration for Coinduction. - Sólrún Halla Einarsdóttir; Moa Johansson; Johannes Åman Pohjola (AISC, 2018)

Saint: An API-Generic Type-Safe Interpreter. - Maximilian Algehed; Patrik Jansson; Sólrún Halla Einarsdóttir; Alex Gerdes (TFP, 2018)

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. - Patrik Jansson; Sólrún Halla Einarsdóttir; Cezar Ionescu (TFPIE@TFP, 2018)

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. - Sólrún Halla Einarsdóttir; Nicholas Smallbone; Moa Johansson (IFL, 2020)

Lemma Discovery and Strategies for Automated Induction. - Sólrún Halla Einarsdóttir; Márton Hajdú; Moa Johansson; Nicholas Smallbone; Martin Suda 001 (IJCAR (1), 2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing. - Yousef Alhessi; Sólrún Halla Einarsdóttir; George Granberry; Emily First; Moa Johansson; Sorin Lerner; Nicholas Smallbone (CoRR, 2025)