An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper).

Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim

Browse the full CADE paper archive.