Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). - Will Leeson; Matthew B. Dwyer (TACAS (2), 2022)

Algorithm Selection for Software Verification using Graph Attention Networks. - Will Leeson; Matthew B. Dwyer (CoRR, 2022)

Sibyl: Improving Software Engineering Tools with SMT Selection. - Will Leeson; Matthew B. Dwyer; Antonio Filieri (ICSE, 2023)

Sibyl Datasets. - Will Leeson; Matthew Dwyer 001; Antonio Filieri (Zenodo, 2023)

Algorithm Selection for Software Verification Using Graph Neural Networks. - Will Leeson; Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol., 2024)