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 Markus Rabe

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

Jan 15, 2021
Yuhuai Wu, Markus Rabe, Wenda Li, Jimmy Ba, Roger Grosse, Christian Szegedy

* 16 pages 

  Access Paper or Ask Questions

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