Directed Graph Networks for Logical Reasoning (Extended Abstract).

Michael Rawson, Giles Reger

Browse the full CADE paper archive.