Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution).

Will Leeson, Matthew B. Dwyer

Browse the full TACAS paper archive.