Is It Reasonable to Employ Agents in Automated Theorem Proving?.

Max Wisniewski, Christoph Benzmller

Browse the full ICAART paper archive.