| 2021 | CADE | Towards the Automatic Mathematician. | Markus N. Rabe, Christian Szegedy |
| 2021 | ICML | LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. | Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy |
| 2020 | AAAI | Graph Representations for Higher-Order Logic and Theorem Proving. | Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy |
| 2020 | ICLR | Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. | Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, Edward A. Lee |
| 2020 | ICLR | Mathematical Reasoning in Latent Space. | Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal |
| 2019 | CAV | Incremental Determinization for Quantifier Elimination and Functional Synthesis. | Markus N. Rabe |
| 2019 | ICML | HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. | Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox |
| 2019 | SAT | Clausal Abstraction for DQBF. | Leander Tentrup, Markus N. Rabe |
| 2018 | CAV | Understanding and Extending Incremental Determinization for 2QBF. | Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia |
| 2017 | AAAI | Maximum Model Counting. | Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia |
| 2017 | SAT | A Resolution-Style Proof System for DQBF. | Markus N. Rabe |
| 2017 | TACAS | Encodings of Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup |
| 2016 | FMCAD | Verifying hyperproperties of hardware systems. | Bernd Finkbeiner, Markus N. Rabe |
| 2016 | SAT | Incremental Determinization. | Markus N. Rabe, Sanjit A. Seshia |
| 2015 | CAV | Algorithms for Model Checking HyperLTL and HyperCTL ^*. | Bernd Finkbeiner, Markus N. Rabe, Csar Snchez |
| 2015 | FMCAD | CAQE: A Certifying QBF Solver. | Markus N. Rabe, Leander Tentrup |
| 2012 | ATVA | Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. | Sergio Giro, Markus N. Rabe |
| 2012 | ISoLA | Monitoring Temporal Information Flow. | Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe |
| 2012 | VMCAI | Model Checking Information Flow in Reactive Systems. | Rayna Dimitrova, Bernd Finkbeiner, Mt Kovcs, Markus N. Rabe, Helmut Seidl |