Rabe, Markus N.

5 publications

ICML 2021 LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu, Markus N Rabe, Wenda Li, Jimmy Ba, Roger B Grosse, Christian Szegedy

NeurIPS 2021 Neural Circuit Synthesis from Specification Patterns Frederik Schmitt, Christopher Hahn, Markus N Rabe, Bernd Finkbeiner

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

AAAI 2017 Maximum Model Counting Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia