Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Sarah Loos

Graph Representations for Higher-Order Logic and Theorem Proving


May 24, 2019
Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, Christian Szegedy


  Access Paper or Ask Questions

Deep Network Guided Proof Search


Jan 24, 2017
Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

* In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340 

  Access Paper or Ask Questions