All Stories

  1. The CADE-29 Automated Theorem Proving System Competition – CASC-29

    Article • AI Communications, September 2024, IOS Press

    Geoff Sutcliffe