Loos, Sarah M.

2 publications

AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

ICLR 2020 Mathematical Reasoning in Latent Space Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal